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
相关推荐
Introduction to Computing Systems: From Bits & Gates to C/C++ & Beyond,3rd Edition- Practical Concurrent Haskell: With Big Data Applications
- Introduction to Computing Systems: From Bits & Gates to C/C++ & Beyond,3rd Edition
- Artificial Intelligence in Biotechnology: Biomanufacturing and Precision Medicine
