Hauptseite

Advances in Verification of Time Petri Nets and Timed Automata

Taschenbuch Details (Deutschland) ISBN: 978-3-540-82155-7 ISBN-10: 3-540-82155-4 (978-3-540)