×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–3)

Ehrig, H. (ed.) et al., Proceedings of the workshop on Petri nets and graph transformations (PNGT 2004), Rome, Italy, September 28 – October 2, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 127, No. 2, 29-44 (2005).
MSC:  68Q85
BibTeX Cite
Full Text: Link
WorldCat.org
Kreowski, Hans-Jörg (ed.) et al., Formal methods in software and systems modeling. Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-24936-2/pbk). Lecture Notes in Computer Science 3393, 24-37 (2005).
MSC:  68N30
BibTeX Cite
Full Text: DOI
WorldCat.org
Kutsche, Ralf-Detlef (ed.) et al., Fundamental approaches to software engineering. 5th international conference, FASE 2002. Held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43353-8). Lect. Notes Comput. Sci. 2306, 189-202 (2002).
MSC:  68N99
BibTeX Cite
Full Text: Link
WorldCat.org

Filter Results by …

Document Type
Year of Publication
Classification
Software