Kim Sunesen
发表
Mogens Nielsen,
Nils Klarlund,
Kim Sunesen,
1995
.
Mogens Nielsen,
Nils Klarlund,
Kim Sunesen,
1995,
PODC '96.
Mogens Nielsen,
Kim Sunesen,
M. Nielsen,
1996,
Application and Theory of Petri Nets.
Dhiraj K. Pradhan,
Babak Falsafi,
Christos-Savvas Bouganis,
2013,
Microprocess. Microsystems.
Mogens Nielsen,
Nils Klarlund,
Kim Sunesen,
1995
.
Jari Nurmi,
Tapani Ahonen,
Hans G. Kerkhoff,
2011
.
Umut Durak,
Jürgen Becker,
Nikolaos S. Voros,
2016
.
Peter Gorm Larsen,
Kim Sunesen,
Paul Mukherjee,
2000,
Formal Aspects of Computing.
Jürgen Becker,
Olivier Sentieys,
Nikos S. Voros,
2012,
2012 IEEE 15th International Conference on Computational Science and Engineering.
Dimitrios Kritharidis,
Jürgen Becker,
Olivier Sentieys,
2013,
Microprocess. Microsystems.
Marieke Huisman,
Pratik Worah,
Kim Sunesen,
2006,
19th IEEE Computer Security Foundations Workshop (CSFW'06).
Jaan Raik,
Hans G. Kerkhoff,
Sergei Devadze,
2018
.
Dimitrios Kritharidis,
Jürgen Becker,
Daniel Ménard,
2012,
7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC).
Dimitrios Kritharidis,
Jürgen Becker,
Daniel Ménard,
2012,
2012 International Conference on Embedded Computer Systems (SAMOS).
Umut Durak,
Harald Bucher,
Jürgen Becker,
2017,
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.
Dhiraj K. Pradhan,
Jimson Mathew,
Ioannis Sourdis,
2013,
2013 Euromicro Conference on Digital System Design.
Yong Zhao,
Görschwin Fey,
Jaan Raik,
2016,
2016 Forum on Specification and Design Languages (FDL).
Kim Sunesen,
K. Sunesen,
1998
.
Dimitrios Kritharidis,
Jürgen Becker,
Daniel Ménard,
2012,
2012 15th Euromicro Conference on Digital System Design.
Mogens Nielsen,
Nils Klarlund,
Kim Sunesen,
1994,
Formal Systems Specification.
Dhiraj K. Pradhan,
Babak Falsafi,
Christos-Savvas Bouganis,
2012,
2012 15th Euromicro Conference on Digital System Design.
Kim Sunesen,
K. Sunesen,
1998
.
Mogens Nielsen,
Kim Sunesen,
M. Nielsen,
1995,
Application and Theory of Petri Nets.