Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings | 978-3-319-49814-0 (3-319-49814-2) | 2016 | Thierry Lecomte |
Graph Transformations: Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings | 978-3-540-38870-8 (3-540-38870-2) | 2008 | Ugo Montanari · Hartmut Ehrig · Grzegorz Rozenberg · Andrea Corradini |