Dennis Dams
Theoretical and Practical Aspects of SPIN Model Checking
Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek · 2003
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonBook details
- Year
- 2003
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 1
- ISBN
- 9783540482345
Data source: Wikidata
