×

zbMATH — the first resource for mathematics

Found 40 Documents (Results 1–3)

Moreira, Anamaria Martins (ed.) et al., Proceedings of the Brazilian symposium on formal methods (SBMF 2006), Natal, Rio Grande de Norte, Brazil, September 17–23, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 195, 41-55 (2008).
MSC:  68Q85 68Q45 68Q60
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, 77-91 (2006).
MSC:  68Q42 68R10
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Serial
Year of Publication
Classification
Software