Suchfeld einblenden
Person Katoen, Joost-Pieter
2 Treffer
Seite < 1 >
Formal methods for real time and probabilistic systems
: proceedings / 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 1999. J.-P. Katoen (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1601)
ISBN 978-3-540-48778-4
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 8th international conference ; proceedings / TACAS 2002 ... Grenoble, France, April 8 - 12, 2002. J.-P. Katoen ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2280)
ISBN 978-3-540-46002-2
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
