Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach
by Wojciech Penczek, Agata Pólrola
Available
Ships From New York
Free Shipping within U.S.A
International Shipping?
Check Delivery Estimate and
Shipping Cost
for your country
| Publisher: | Springer |
| Published In: | 26-Jun-2006 |
| ISBN-10: | 3540328696 |
| ISBN-13: | 9783540328698 |
| Binding Type: | Hardback |
| Weight: | 1.42 lbs |
| Pages: | pp. 292, Illus. |
The Title "Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach 1st Edition" was published in the year 2006. The ISBN number 3540328696|9783540328698 is assigned to the Hardback version of this title. The book displayed here is a 1st Edition edition. This book has total of pp. 0 (Pages). The publisher of this title is Springer. We have about 149260 other great books from this publisher. Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach 1st Edition is currently Available with us.