Author(s):
|
Jasper, M.; Mues, M.; Murtovi, A.; Schlüter, M.; Howar, F.; Steffen, B.; Schordan, M.; Hendriks, D.; Schiffelers, R.;
Kuppens, H.C.W.
;
Vaandrager, F.W.
|
In:
|
Lecture Notes in Computer Science, (2019)Beyer, D.; Huisman, M.; Kordon, F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, pp. 101-115
|
Editor(s):
|
Beyer, D.; Huisman, M.; Kordon, F.; Steffen, B.
|
Organization:
|
Informatics for Technical Applications Software Science |
Journal title:
|
Lecture Notes in Computer Science
|
Book title:
|
Beyer, D.; Huisman, M.; Kordon, F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III |