In terms of nets : system design with petri nets and process algebra

Sparad:
Bibliografiska uppgifter
OCLC:43348809
Huvudupphovsman: Basten, Antonius André
Institutionell upphovsman: Technische Universiteit Eindhoven
Språk:English
Publicerad: Eindhoven, the Netherlands : [Eindhoven University of Technology], c1998.
Serie:IPA dissertation series ; 1998-05.
Ämnen:
Materialtyp:

Lärdomsprov Monograph

Note that CRL will digitize material from the collection when copyright allows.