Property specification for coloured Petri nets

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Original languageEnglish
Title of host publication 2004 IEEE International Conference on Systems, Man and Cybernetics
Subtitle of host publicationIEEE Cat. No.04CH37583
Place of PublicationUnited States
PublisherIEEE
Pages2617-2622
Number of pages6
Volume7
ISBN (Print)0-7803-8566-7
DOIs
Publication statusPublished - 2004
Externally publishedYes
Event2004 IEEE International Conference on Systems, Man and Cybernetics - The Hague, Netherlands
Duration: 10 Oct 200413 Oct 2004

Conference

Conference2004 IEEE International Conference on Systems, Man and Cybernetics
Country/TerritoryNetherlands
CityThe Hague
Period10/10/0413/10/04

Cite this