Suchfeld einblenden
Person Garavel, Hubert
1 Treffer
Seite < 1 >
Tools and algorithms for the construction and analysis of systems
: 9th international conference ; proceedings / TACAS 2003 ... Warsaw, Poland, April 7 - 11, 2003. H. Garavel ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2619)
ISBN 978-3-540-36577-8
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
