Wow! eBookAdvances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence)
Hardcover: 258 pages
Publisher: Springer (June 26, 2006)
Language: English
ISBN-10: 3540328696
Advances in Verification of Time Petri Nets and Timed
相关推荐
Buchführung 1 DATEV-Kontenrahmen 2024: Grundlagen der Buchführung für Industrie- und Handelsbetriebe (Bohofen Buchführung 1 LB)- Early English Periodicals and Early Modern Social Media
- Mastering the Red Hat Certified Engineer (RHCE) Exam: Your complete guide to Linux administration, automation, and certification
- Diverse Topics in Theoretical and Mathematical Physics
