Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12 / Edited by Charles Lakos, Robert Esser, Lars M. Kristensen, Jonathan Billington
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: DL Hosted proceedings | ACM Digital LibraryPublisher: Australia : Australian Computer Society, Inc., 2002ISBN:- 9780909925901
- CRPIT '02
No physical items for this record