C. Thrane
发表
Helle Neergaard,
Steffen Korsgaard,
Claus Thrane,
2016
.
S. Korsgaard,
Helle Neergaard,
S. Müller,
2012
.
Sebastian S. Bauer,
K. Larsen,
Axel Legay,
2012,
Formal Methods in System Design.
Kim G. Larsen,
Radu Mardare,
Claus R. Thrane,
2012,
QFM.
Kim G. Larsen,
Patricia Bouyer,
Nicolas Markey,
2011,
CONCUR.
Kim G. Larsen,
Axel Legay,
Ulrich Fahrenberg,
2012,
Formal Methods Syst. Des..
Axel Legay,
Ulrich Fahrenberg,
Sebastian S. Bauer,
2012,
CSR.
Kim G. Larsen,
Axel Legay,
Ulrich Fahrenberg,
2011,
MFCS.
Kim G. Larsen,
Ulrich Fahrenberg,
Claus R. Thrane,
2011,
QAPL.
Kim G. Larsen,
Ulrich Fahrenberg,
Claus R. Thrane,
2011,
Theor. Comput. Sci..
Kim G. Larsen,
Ulrich Fahrenberg,
Claus R. Thrane,
2010,
J. Log. Algebraic Methods Program..
Kim G. Larsen,
Ulrich Fahrenberg,
Claus R. Thrane,
2011,
Software and Systems Safety - Specification and Verification.
Kim G. Larsen,
Ulrich Fahrenberg,
Claus R. Thrane,
2009,
FSEN.
Steffen Korsgaard,
Claus Thrane,
Henrik Berglund,
2016
.
C. Thrane,
2002
.
C. Thrane,
U. Sorensen,
C. Thrane,
2008,
2008 Annual IEEE Student Paper Conference.
Helle Neergaard,
C. Thrane,
2011
.
Helle Neergaard,
Steffen Korsgaard,
Claus Thrane,
2011
.