✦ LIBER ✦
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
✍ Scribed by Werner Damm; Henning Dierks; Stefan Disch; Willem Hagemann; Florian Pigorsch; Christoph Scholl; Uwe Waldmann; Boris Wirtz
- Book ID
- 113890167
- Publisher
- Elsevier Science
- Year
- 2012
- Tongue
- English
- Weight
- 883 KB
- Volume
- 77
- Category
- Article
- ISSN
- 0167-6423
No coin nor oath required. For personal study only.