zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

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
Cerioli, Maura (ed.) et al., Recent trends in algebraic development techniques. 15th international workshop, WADT 2001, joint with the CoFI WG meeting, Genova, Italy, April 1–3, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43159-4). Lect. Notes Comput. Sci. 2267, 256-279 (2001).
MSC:  68Q65 18C50 03G30
BibTeX Cite
Full Text: Link

Filter Results by …

Document Type
Year of Publication