×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Luecker, M. (ed.) et al., Proceedings of the 4th international workshop on parallel and distributed methods in verification (PDMC 2005), Lisbon, Portugal, July 10, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 135, No. 2, 31-46 (2006).
BibTeX Cite
Full Text: Link
Borrione, Dominique (ed.) et al., Correct hardware design and verification methods. 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbr├╝cken, Germany, October 3–6, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29105-9/pbk). Lecture Notes in Computer Science 3725, 388-392 (2005).
MSC:  68M07 68Q60
BibTeX Cite
Full Text: DOI
Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 497-511 (2005).
MSC:  68Q60
BibTeX Cite
Full Text: DOI

Filter Results by …

Author
Year of Publication
Classification
Software