Verification of infinite-state systems with applications to security
- Författare
- Romania) NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timaşoara
- (Edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.)
- Genre
- Electronic books., Konferenspublikation, Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| IOS Press | c2006 | Nederländerna, Amsterdam, Washington, D.C | vii, 235 sidor. ill. |