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.
Related links
Publication type
External research report
Display more detailsDisplay less details
Organization
Informatics for Technical Applications
Subject
Technical Report; Informatics for Technical ApplicationsThis item appears in the following Collection(s)
- Academic publications [242594]
- Electronic publications [129556]
- Faculty of Science [36239]
- Open Access publications [104168]
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.