×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 17th international workshop, WADT 2004, Barcelona, Spain, March 27–29, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25327-0/pbk). Lecture Notes in Computer Science 3423, 28-44 (2005).
MSC:  68Q85
BibTeX Cite
Full Text: DOI
WorldCat.org
van der Aalst, Wil (ed.) et al., Applications and theory of Petri nets 2003. 24th international conference, ICATPN 2003, Einhoven, The Netherlands, June 23–27, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40334-5/pbk). Lecture Notes in Computer Science 2679, 140-160 (2003).
MSC:  68Q85 18A30 68Q55
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification