Advances in verification of time petri nets and timed automata : a temporal logic approach
Bookmark
ShareCopied to clipboardAdvances in verification of time petri nets and timed automata : a temporal logic approach is a book. It was written by Wojciech Penczek and published by : Springer in 2006.
Key facts
- author: Wojciech Penczek
- publication date: 2006
- book publisher: : Springer
- book series: Studies in computational intelligence
- book subjects: Real-time data processing, Embedded computer systems-Programming, Petri nets
See more factsExtract data
Download datasets about Advances in verification of time petri nets and timed automata : a temporal logic approach:
Dataset of books series that contain Advances in verification of time petri nets and timed automata : a temporal logic approach:
Dataset of book subjects that contain Advances in verification of time petri nets and timed automata : a temporal logic approach:
"Advances in verification of time petri nets and timed automata : a temporal logic approach" is one of the books by Wojciech Penczek, books by : Springer and 2,617,384 books in our database.
Related
Connected or similar to Advances in verification of time petri nets and timed automata : a temporal logic approach: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.