|
DSpace at RU >
University Library >
Academic bibliography >
| Title: | The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation |
| Author(s): | D'Argenio, P.R. (149170556)
Gebremichael-Tesfagiorgis, B. (298441829) |
| Publication year: | 2005 |
| Document type: | External research report |
| Publisher: | Nijmegen : Institute for Computing and Information Sciences. Radboud University |
| ISBN: | 3540283099 |
| Number of pages: | 28 p. |
| Series: | ICIS-R05015 Technical Report |
| Subject: | Informatics for Technical Applications |
| Organization: | Informatics for Technical Applications |
| Appears in Collections: | Academic bibliography
|
|
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2066/32308
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
