A

Antti Valmari

2 books found

Books by Antti Valmari
Model Checking SoftwareAntti Valmari
⏱ 5h 7m

Model Checking Software

Antti Valmari

2006307 pp.
Application and Theory of Petri Nets and ConcurrencyRaymond Devillers
⏱ 5h 51m

Application and Theory of Petri Nets and Concurrency

Raymond Devillers

2015351 pp.