Implementing timed extensions of Petri nets in Real-Time Maude
Research report
View/ Open
Year
2011Permanent link
http://urn.nb.no/Is part of
Research reportMetadata
Show metadataAppears in the following Collection
- Institutt for informatikk [4956]