Frits Vaandrager
发表
Ling Cheung,
Mariëlle Stoelinga,
Frits Vaandrager,
2007,
JACM.
Petra van den Bos,
Frits Vaandrager,
F. Vaandrager,
2019,
IFM.
Falk Howar,
Frits Vaandrager,
Toon Lenaerts,
2020,
IFM.
Bengt Jonsson,
Falk Howar,
Frits Vaandrager,
2019,
Computing and Software Science.
Georgeta Igna,
Feng Zhu,
Steffen Michels,
2009,
FM 2009.
Biniam Gebremichael,
Frits Vaandrager,
F. Vaandrager,
2005,
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
Frits Vaandrager,
1995,
CONCUR.
Ling Cheung,
Roberto Segala,
Nancy Lynch,
2004,
ICTAC.
Gerd Behrmann,
Martijn Hendriks,
Peter Niebert,
2003,
FORMATS.
Feng Zhu,
Faranak Heidarian,
Frits Vaandrager,
2009,
QFM.
Jan Tretmans,
Ramon Janssen,
Frits Vaandrager,
2019,
IFM.
Frits Vaandrager,
Abhisek Midya,
2020,
ICTAC.
Jurriaan Rot,
Frits Vaandrager,
Thorsten Wissmann,
2021,
ArXiv.
Frits Vaandrager,
Wouter Smeenk,
F. Vaandrager,
2012
.
Frits Vaandrager,
F. Vaandrager,
2007
.
Frits Vaandrager,
Indra Polak,
F. Vaandrager,
1994,
FTRTFT.
Bengt Jonsson,
Frits Vaandrager,
F. Vaandrager,
2017
.
Frits Vaandrager,
1991
.