×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Derrick, John (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2007. 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27–29, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73195-5/pbk). Lecture Notes in Computer Science 4574, 247-262 (2007).
MSC:  68M14 68Q45
BibTeX Cite
Full Text: DOI
WorldCat.org
Corradini, Andrea (ed.) et al., Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38870-8/pbk). Lecture Notes in Computer Science 4178, 306-320 (2006).
MSC:  68N30 68Q42
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Author
Year of Publication
Classification
Software