M. R. Hansen
发表
Martin Fränzle,
Michael R. Hansen,
M. Fränzle,
2009,
Int. J. Softw. Informatics.
Mikkel Koefoed Jakobsen,
M. R. Hansen,
J. Madsen,
2011
.
P. Lucas,
M. R. Hansen,
Van,
1997
.
Amir Pnueli,
Zhou Chaochen,
Hans Langmaack,
1998
.
Michael R. Hansen,
Dang Van Hung,
D. Hung,
2007,
Domain Modeling and the Duration Calculus.
Michael R. Hansen,
Thomas Bolander,
Jens Ulrik Hansen,
2007,
HyLo@FLoC.
Michael R. Hansen,
Chaochen Zhou,
C. Zhou,
1997,
Formal Aspects of Computing.
Michael R. Hansen,
Chaochen Zhou,
C. Zhou,
2004,
Monographs in Theoretical Computer Science An EATCS Series.
Michael R. Hansen,
Chaochen Zhou,
C. Zhou,
1997,
COMPOS.
Michael R. Hansen,
Zhou Chaochen,
Zhou Chaochen,
1996
.
Michael R. Hansen,
Jan Madsen,
Aske Wiid Brekling,
2007,
Formal Methods and Hybrid Real-Time Systems.
Michael R. Hansen,
Jan Madsen,
Aske Brekling,
2009,
2009 International Conference on Microelectronics - ICM.
Peter van Emde Boas,
Michael R. Hansen,
Peter Lucas,
1989,
Comput. Lang..
Martin Fränzle,
Michael R. Hansen,
M. Fränzle,
2007,
TACAS.
The Procos Approach to the Design of Real-time Systems: Linking Diierent Formalisms Document Purpose
Anders P. Ravn,
Michael Schenke,
A. Ravn,
1996
.
Michael R. Hansen,
Jan Madsen,
Aske Wiid Brekling,
2008,
J. Log. Algebraic Methods Program..
Michael R. Hansen,
Chaochen Zhou,
Peter Sestoft,
1993,
STACS.
Martin Fränzle,
Michael R. Hansen,
Heinrich Ody,
2016,
FM.
Anh-Dung Phan,
M. R. Hansen,
A. Brekling,
2014,
Annals of Mathematics and Artificial Intelligence.
Michael R. Hansen,
Aske W. Brekling,
M. R. Hansen,
2011,
2011 Eighteenth International Symposium on Temporal Representation and Reasoning.
Martin Fränzle,
Michael R. Hansen,
M. Fränzle,
2008,
2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
Martin Fränzle,
Michael R. Hansen,
M. Fränzle,
2005,
ICTAC.
Michael R. Hansen,
M. R. Hansen,
1994,
Formal Aspects of Computing.
Michael R. Hansen,
Chaochen Zhou,
C. Zhou,
1991,
REX Workshop.
Michael R. Hansen,
Zhou Chaochen,
Jørgen Staunstrup,
1992
.
Anders P. Ravn,
Hans Rischel,
Michael R. Hansen,
1992,
FTRTFT.
H. Rischel,
M.R. Hansen,
J.T. Kristensen,
1999,
FIE'99 Frontiers in Education. 29th Annual Frontiers in Education Conference. Designing the Future of Science and Engineering Education. Conference Proceedings (IEEE Cat. No.99CH37011.
Hans Rischel,
Michael R. Hansen,
H. Rischel,
1999
.
Michael R. Hansen,
Chaochen Zhou,
Paritosh K. Pandya,
1995,
Theor. Comput. Sci..
Michael R. Hansen,
Chaochen Zhou,
M. R. Hansen,
1990,
MFCS.
H. Rischel,
C. Attiogbé,
H. Habrias,
1998
.
H. Rischel,
M. R. Hansen,
Torben Hoffmann,
1998
.
Michael R. Hansen,
Jens Chr. Godskesen,
Robin Sharp,
1996,
FORTE.
Hans Rischel,
Ernst-Rüdiger Olderog,
Martin Fränzle,
1993
.
A. Nerode,
A. Ravn,
H. Rischel,
1993
.
Michael R. Hansen,
M. R. Hansen,
1988
.
Michael R. Hansen,
Bo Stig Hansen,
B. S. Hansen,
1982
.
Michael R. Hansen,
Robin Sharp,
M. R. Hansen,
2007,
CSR.
Michael R. Hansen,
Anh-Dung Phan,
Anh-Dung Phan,
2015,
J. Log. Algebraic Methods Program..
Michael R. Hansen,
Jan Madsen,
Mikkel Koefoed Jakobsen,
2010,
2010 IEEE International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM).
Jan Madsen,
Michael R. Hansen,
Aske Wiid Brekling,
2010
.