|
DSpace at RU >
University Library >
Academic bibliography >
Files in This Item:
| File |
Description |
Size | Format |
|---|
 | preprint version | 461.93 kB | Adobe PDF | View/Open |
|
| Title: | Analysis of a Biphase Mark Protocol with Uppaal and PVS |
| Author(s): | Vaandrager, F.W. (07206806X)
Groot, A.L. de (213161923) |
| Publication year: | 2004 |
| Document type: | External research report |
| Publisher: | [s.l.] : NIII, Radboud University Nijmegen |
| Number of pages: | 38 p. |
| Series: | NIII-R0445 |
| Annotation: | 4015 |
| 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/60181
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
