The book is currently out of stock
Advances in verification of time Petri nets and timed automata
Authors
More about the book
Presents a comprehensive introduction to timed automata and time Petri nets Presents existing methods of translating time Petri nets to timed automata
Book variant
2006Book purchase
We’ll notify you via email once we track it down.