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

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

257 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Mathematics and Computer Science
Supervisors/Advisors
  • Baeten, Jos, Promotor
  • van Hee, Kees, Promotor
Award date3 Dec 1998
Place of PublicationEindhoven
Publisher
Print ISBNs90-386-0631-1
DOIs
Publication statusPublished - 1998

Cite this