Automatic Verification Methods for Finite State SystemsJoseph Sifakis
Automatic Verification Methods for Finite State Systems
Joseph Sifakis · 1990
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 1990
- Language
- English
- Publisher
- Not Avail
- Editions
- 1
- Pages
- 382
- ISBN
- 9783540521488
Data source: Wikidata
