Axiomatizing Timed Automata with Deadlines
[S.l.] : Institute for Computing and Information Sciences. Radboud Un
Technical Report ; ICIS-R0602
Number of pages
29 p p.
External research report
Display more detailsDisplay less details
Informatics for Technical Applications
Upload full text
Use your RU credentials (u/z-number and password) tolog in with SURFconextto upload a file for processing by the repository team.