Formal Methods Applications and Technology electronic resource - 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification
- Författare
- Lubos. Brim
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Verlag GmbH. | 2007 | Utgivningsland okänt / Ej specificerat, Berlin Heidelberg | v.: digital | 978-3-540-70952-7 |