K. Sunesen
发表
Kim Sunesen,
K. Sunesen,
1998
.
M. Nielsen,
N. Klarlund,
K. Sunesen,
2007
.
B. Falsafi,
D. Pradhan,
C. Bouganis,
2013
.
Dhiraj K. Pradhan,
Babak Falsafi,
Christos-Savvas Bouganis,
2013,
Microprocess. Microsystems.
Umut Durak,
Jürgen Becker,
Nikolaos S. Voros,
2016
.
Kim Sunesen,
K. Sunesen,
1998
.
Mogens Nielsen,
Nils Klarlund,
Kim Sunesen,
1995
.
Mogens Nielsen,
Nils Klarlund,
Kim Sunesen,
1994,
Formal Systems Specification.
Mogens Nielsen,
Kim Sunesen,
M. Nielsen,
1996,
Application and Theory of Petri Nets.
Mogens Nielsen,
Nils Klarlund,
Kim Sunesen,
1995,
PODC '96.
Marieke Huisman,
Pratik Worah,
Kim Sunesen,
2006,
19th IEEE Computer Security Foundations Workshop (CSFW'06).
Dhiraj K. Pradhan,
Babak Falsafi,
Christos-Savvas Bouganis,
2012,
2012 15th Euromicro Conference on Digital System Design.
Mogens Nielsen,
Kim Sunesen,
M. Nielsen,
1995,
Application and Theory of Petri Nets.
K. Sunesen,
Mogens Nielsen,
Brics,
1995
.
Yong Zhao,
Görschwin Fey,
Jaan Raik,
2016,
2016 Forum on Specification and Design Languages (FDL).
M. Nielsen,
K. Sunesen,
Nils Klarlund,
1995,
PODC '96.