×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Amadio, Roberto (ed.) et al., CONCUR 2003 – concurrency theory. 14th international conference, Marseille, France, September 3–5, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40753-7/pbk). Lect. Notes Comput. Sci. 2761, 431-445 (2003).
MSC:  68Q85 68Q60
BibTeX Cite
Full Text: DOI
WorldCat.org
Peled, Doron A. (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2002. 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11–14, 2002. Proceedings. Berlin: Springer (ISBN 3-540-00141-7/pbk). Lect. Notes Comput. Sci. 2529, 226-242 (2002).
MSC:  68M10 68M14 68Q60
BibTeX Cite
Full Text: Link
WorldCat.org
Berry, GĂ©rard (ed.) et al., Computer aided verification. 13th international conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2102, 387-390 (2001).
MSC:  68U99 68Q60
BibTeX Cite
Full Text: Link
WorldCat.org

Filter Results by …

Author
Year of Publication
Classification