Specifying Urgency in Timed I/O Automata
Publication year
2004Publisher
[S.l.] : Nijmegen Institute for Computing and Information Sciences, R
Series
Technical Report ; NIII-R0459
Number of pages
23 p.
Publication type
External research report

Display more detailsDisplay less details
Organization
Informatics for Technical Applications
Subject
Informatics for Technical ApplicationsThis item appears in the following Collection(s)
- Academic publications [205105]
- Electronic publications [103314]
- Faculty of Science [32348]
- Open Access publications [71824]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.