Rom Langerak
发表
Diego Latella,
Joost-Pieter Katoen,
Ed Brinksma,
1996
.
Ed Brinksma,
Rom Langerak,
Peter Broekroelofs,
1993,
CAV.
Jaco van de Pol,
Rom Langerak,
Stefano Schivo,
2014,
SynCoP.
Joost-Pieter Katoen,
Ed Brinksma,
Rom Langerak,
1997,
CONCUR.
Jan Willem Polderman,
Rom Langerak,
J. Polderman,
2012,
Syst. Control. Lett..
Jaco van de Pol,
Rom Langerak,
Stefano Schivo,
2017,
Models, Algorithms, Logics and Tools.
Rom Langerak,
1990,
PSTV.
Jaco van de Pol,
Jeroen Voeten,
Bart D. Theelen,
2010,
2010 10th International Conference on Application of Concurrency to System Design.
Rom Langerak,
B. Botma,
1994,
FORTE.
Diego Latella,
Joost-Pieter Katoen,
Tommaso Bolognesi,
1996,
Formal Methods Syst. Des..
Alfons Laarman,
Anton Wijs,
Jaco van de Pol,
2011,
ATVA.
Jaco van de Pol,
Rom Langerak,
Brend Wanders,
2014,
IEEE Journal of Biomedical and Health Informatics.
Diego Latella,
Joost-Pieter Katoen,
Ed Brinksma,
1996,
FTRTFT.
Hendrik Koffijberg,
Rom Langerak,
Koen Degeling,
2015
.
Jaco van de Pol,
Rom Langerak,
Paul E. van der Vet,
2016,
BMC Systems Biology.
Rom Langerak,
R. Langerak,
1992,
FORTE.
Diego Latella,
Joost-Pieter Katoen,
Ed Brinksma,
1998,
Comput. Networks.
Rom Langerak,
Stefano Schivo,
2017,
ModelEd, TestEd, TrustEd.
Jaco van de Pol,
Rom Langerak,
Brend Wanders,
2012,
2012 IEEE 12th International Conference on Bioinformatics & Bioengineering (BIBE).
Jan Willem Polderman,
Sjouke Mauw,
Rom Langerak,
2014,
FM.
Rom Langerak,
Koen Degeling,
Maarten J. IJzerman,
2017,
Value in health : the journal of the International Society for Pharmacoeconomics and Outcomes Research.
Rom Langerak,
R. Langerak,
1990,
TODS.
Rom Langerak,
Piotr Kordy,
Jan Willem Polderman,
2009,
FM 2009.
Jaco van de Pol,
Rom Langerak,
Paul E. van der Vet,
2016
.
Diego Latella,
Mieke Massink,
Joost-Pieter Katoen,
2001,
TACAS.
Ed Brinksma,
Rom Langerak,
E. Brinksma,
1999,
CAV.
Rom Langerak,
Stefan Strubbe,
R. Langerak,
2005,
FORTE.
Rom Langerak,
R. Langerak,
1991,
FORTE.
Diego Latella,
Tommaso Bolognesi,
Rom Langerak,
1992
.
Rom Langerak,
1999,
EXPRESS.
John Lygeros,
Rom Langerak,
Manuela L. Bujorianu,
2008,
HSCC.
Diego Latella,
Joost-Pieter Katoen,
Rom Langerak,
1993,
FORTE.
Rom Langerak,
1989,
PSTV.
Jan Willem Polderman,
Tomas Krilavicius,
Rom Langerak,
2003,
ADHS.
Rom Langerak,
Frank Lobbezoo,
Peter Wetselaar,
2019,
Journal of oral rehabilitation.
Diego Latella,
Joost-Pieter Katoen,
Ed Brinksma,
1995,
Comput. J..
Jaco van de Pol,
Jeroen Voeten,
Bart D. Theelen,
2010,
ISoLA.
Jan Willem Polderman,
Rom Langerak,
Piotr Kordy,
2009,
FMA.
Diego Latella,
Joost-Pieter Katoen,
Rom Langerak,
1995
.
Jan Willem Polderman,
Rom Langerak,
Svetlana Polenkova,
2010
.
Jan Willem Polderman,
Paolo Vettori,
Rom Langerak,
2014
.