×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Huth, Michael R. A. (ed.), Proceedings of the fourth international workshop on automated verification of critical systems (AVoCS 2004), London, UK, September 4, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 128, No. 6, 195-214 (2005).
MSC:  68Q60 68M12
BibTeX Cite
Full Text: Link
Guerraoui, Rachid (ed.), Distributed computing. 18th international conference, DISC 2004, Amsterdam, The Netherlands, October 4–7, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23306-7/pbk). Lecture Notes in Computer Science 3274, 201-215 (2004).
MSC:  68W15 68W20
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software