Parameterized systems - generalizing and simplifying automatic verification
- Författare
- Ahmed Rezine
- (Ahmed Rezine.)
- Genre
- theses
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Acta Universitatis Upsaliensis, Uppsala universitetsbibliotek distributör | 2008 | Sverige, Uppsala | 186 sidor. ill. | 978-91-554-7138-5 |
Acta Universitatis Upsaliensis | 2008 | Sverige, Uppsala | 196 |