| Original language | English |
|---|---|
| Place of Publication | Enschede |
| Publisher | Centre for Telematics and Information Technology (CTIT) |
| Number of pages | 14 |
| Publication status | Published - 1996 |
Publication series
| Name | CTIT Technical Report Series |
|---|---|
| Publisher | CTIT, University of Twente |
| No. | 96-22 |
| ISSN (Print) | 1381-3625 |
Research output
- 1 Conference contribution
-
Modeling and Verifying a Bounded Retransmission Protocol
d' Argenio, P. R., Katoen, J.-P., Tretmans, G. J. & Ruys, T. C., 18 Nov 1996, Proceedings of COST 247 Workshop on Applied Formal Methods in System Design. Maribor, Slovenia: University of Maribor, p. 114-127 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver