Computer Aided Verification: 3rd International Workshop, Cav 92Kim G. Larsen
Computer Aided Verification: 3rd International Workshop, Cav 92
Kim G. Larsen · 1992
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
- 1992
- Language
- English
- Publisher
- Springer
- Editions
- 1
- Pages
- 487
- ISBN
- 9780387551791
Data source: Wikidata
More by Kim G. Larsen
Automata, Languages and ProgrammingKim G. Larsen
Automata, Languages and Programming
Kim G. Larsen · 1998
Formal Modeling and Analysis of Timed SystemsKim G. Larsen
Formal Modeling and Analysis of Timed Systems
Kim G. Larsen · 2004
CONCUR 2001 - Concurrency TheoryKim G. Larsen
CONCUR 2001 - Concurrency Theory
Kim G. Larsen · 2003