L. Kristensen
发表
Jorge C. A. de Figueiredo,
Lars Michael Kristensen,
J. Figueiredo,
1999
.
Lars Michael Kristensen,
Søren Christensen,
Thomas Mailund,
2001,
TACAS.
Lars Michael Kristensen,
Torgrim Log,
Sindre Stokkenes,
2019,
NIK.
Lars Michael Kristensen,
Antti Valmari,
A. Valmari,
2000,
Formal Methods Syst. Des..
Michael Westergaard,
Lars Michael Kristensen,
Peder Christian Nørgaard,
2005,
IFM.
Lars Michael Kristensen,
Yngve Lamo,
Fazle Rabbi,
2018,
MODELSWARD.
Lars Michael Kristensen,
Thomas Mailund,
Guy Edward Gallasch,
2002
.
Laure Petrucci,
Jonathan Billington,
Lars Michael Kristensen,
2003,
Third International Conference on Application of Concurrency to System Design, 2003. Proceedings..
K. Jensen,
L. Kristensen,
2015,
Commun. ACM.
L. Petrucci,
K. V. Hee,
L. Kristensen,
2010
.
L. Kristensen,
Alejandro Rodríguez,
F. Durán,
2021,
Softw. Syst. Model..
Laure Petrucci,
Lars Michael Kristensen,
L. Petrucci,
2011
.
L. Kristensen,
Kenneth-Daniel Nielsen,
2004
.
Lars Michael Kristensen,
Kurt Jensen,
K. Jensen,
2009
.
Lars Michael Kristensen,
Knut Øvsthus,
S. A.AjithKumar,
2014,
IEEE Communications Surveys & Tutorials.
Lars Michael Kristensen,
Kurt Jensen,
K. Jensen,
2009
.
Lars Michael Kristensen,
L. Kristensen,
2000
.
Lars Michael Kristensen,
Kurt Jensen,
K. Jensen,
2009
.
Lars Michael Kristensen,
Kurt Jensen,
Lisa Wells,
2007,
International Journal on Software Tools for Technology Transfer.
Sami Evangelista,
Lars Michael Kristensen,
L. Kristensen,
2012,
SPIN.
Sami Evangelista,
Lars Michael Kristensen,
L. Kristensen,
2012,
Petri Nets.
Lars Michael Kristensen,
Søren Christensen,
Kjeld Høyer Mortensen,
2001,
Proceedings 9th International Workshop on Petri Nets and Performance Models.
Lars Michael Kristensen,
Jens Bæk Jørgensen,
Kurt Jensen,
2003,
Lectures on Concurrency and Petri Nets.
Lars Michael Kristensen,
Søren Christensen,
Kurt Jensen,
1998,
International Journal on Software Tools for Technology Transfer.
Lars Michael Kristensen,
Thomas Mailund,
Kurt Jensen,
2012,
Theor. Comput. Sci..
Jonathan Billington,
Lars Michael Kristensen,
Thomas Mailund,
2004,
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
Lars Michael Kristensen,
Thomas Mailund,
T. Mailund,
2003,
ICFEM.
Lars Michael Kristensen,
Thomas Mailund,
T. Mailund,
2002,
FORTE.
Lars Michael Kristensen,
Thomas Mailund,
T. Mailund,
2002,
FME.
Lars Michael Kristensen,
L. Kristensen,
1999
.
Lars Michael Kristensen,
Jens Bæk Jørgensen,
Søren Christensen,
1997,
TACAS.
Francisco Durán,
Fernando Macías,
Adrian Rutle,
2018,
MoDELS.
Lars Michael Kristensen,
Yngve Lamo,
Ingrid Chieh Yu,
2015,
NIK.
Einar Broch Johnsen,
Lars Michael Kristensen,
Ingrid Chieh Yu,
2018,
FACS.
Lars Michael Kristensen,
L. Kristensen,
2010,
Petri Nets.
Sami Evangelista,
Lars Michael Kristensen,
L. Kristensen,
2009,
FMICS.
Lars Michael Kristensen,
Lin Zhang,
Guy Edward Gallasch,
2007,
International Journal on Software Tools for Technology Transfer.
Michael Westergaard,
Lars Michael Kristensen,
Lars Arge,
2007,
ICATPN.
Lars Michael Kristensen,
Lin Zhang,
Brice Mitchell,
2007,
International Journal on Software Tools for Technology Transfer.
State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method
Lars Michael Kristensen,
Charles A. Lakos,
L. Kristensen,
2005,
ATVA.
Lars Michael Kristensen,
Søren Christensen,
L. Kristensen,
2004,
High. Order Symb. Comput..
Laure Petrucci,
Lars Michael Kristensen,
L. Petrucci,
2004,
ICATPN.
Lars Michael Kristensen,
Kent Inge Fagerland Simonsen,
L. Kristensen,
2013,
Trans. Petri Nets Other Model. Concurr..
Lars Michael Kristensen,
L. Kristensen,
2007
.
Jonathan Billington,
Lars Michael Kristensen,
Guy Edward Gallasch,
2005
.
Lin Zhang,
L. Kristensen,
B. Mitchell,
2005
.
Lars Michael Kristensen,
Kurt Jensen,
K. Jensen,
2004,
SoftSpez Final Report.
Jonathan Billington,
Lars Michael Kristensen,
Guy Edward Gallasch,
2007,
International Journal on Software Tools for Technology Transfer.
Sami Evangelista,
Lars Michael Kristensen,
L. Kristensen,
2014,
Fundam. Informaticae.
Michael Westergaard,
Lars Michael Kristensen,
M. Westergaard,
2012,
Trans. Petri Nets Other Model. Concurr..
K. Mikkelsen,
L. Kristensen,
Per-Erik Larsson,
1999
.
Lars Michael Kristensen,
Sami Taktak,
L. Kristensen,
2011,
GPC.
Laure Petrucci,
Jonathan Billington,
Lars Michael Kristensen,
2002,
FME 2002.
Michael Westergaard,
Lars Michael Kristensen,
M. Westergaard,
2010,
FMICS.
Francisco Durán,
Adrian Rutle,
Lars Michael Kristensen,
2019,
J. Object Technol..
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model
Hein Meling,
Rui Wang,
Volker Stolz,
2019,
J. Log. Algebraic Methods Program..
L. Kristensen,
T. Bové,
T. Ehrenreich,
2000
.
Jonathan Billington,
Lars Michael Kristensen,
Lin Zhang,
2002,
FME 2002.
Lars Michael Kristensen,
Guy Edward Gallasch,
L. Kristensen,
2001
.
Francisco Durán,
Adrian Rutle,
Lars Michael Kristensen,
2019,
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C).
Lars Michael Kristensen,
Paul Fleischer,
L. Kristensen,
2009,
Fundam. Informaticae.
Lars Michael Kristensen,
Kurt Jensen,
K. Jensen,
2008,
Trans. Petri Nets Other Model. Concurr..
Lars Michael Kristensen,
Sren Christensen,
Kjeld Hoyer Mortensen,
1999
.
Jonathan Billington,
Lars Michael Kristensen,
Chun Ouyang,
2002,
EC-Web.
Lars Michael Kristensen,
Yngve Lamo,
Ingrid Chieh Yu,
2016,
Int. J. Inf. Syst. Model. Des..
Lars Michael Kristensen,
Yngve Lamo,
Ingrid Chieh Yu,
2015,
AMT@MoDELS.
Andreas Prinz,
Lars Michael Kristensen,
Admar Ajith Kumar Somappa,
2015,
VECoS.
Sami Evangelista,
Lars Michael Kristensen,
L. Kristensen,
2013,
Sci. Comput. Program..
Michael Westergaard,
Lars Michael Kristensen,
M. Westergaard,
2009,
Petri Nets.