Advances in verification of time petri nets and timed automata : a temporal logic approach
Author(s)
Bibliographic Information
Advances in verification of time petri nets and timed automata : a temporal logic approach
（Studies in computational intelligence, v. 20）
Springer Berlin, 2006
Available at / 7 libraries
-
No Libraries matched.
- Remove all filters.
