Bibliography
BRP
- AKTVV12
- F. Aarts, H. Kuppens, G.J. Tretmans, F.W. Vaandrager, and S. Verwer. Learning and Testing the Bounded Retransmission Protocol. In J. Heinz, C. de la Higuera, and T. Oates, editors. Proceedings 11th International Conference on Grammatical Inference (ICGI 2012), September 5-8, 2012. University of Maryland, College Park, USA. JMLR Workshop and Conference Proceedings 21:4-18, 2012.
- BSW69
- K. Bartlett, R. Scantlebury, and P. Wilkinson. A note on reliable full-duplex transmission over half-duplex links. Communications of the ACM, 12:260-261, 1969.
- BDL04
- G. Behrmann, A. David, and K. Larsen. A tutorial on Uppaal. In Formal Methods for the Design of Real-Time Systems, volume 3185 of Lecture Notes in Computer Science, pages 33-35. Springer Berlin/Heidelberg, 2004.
- DKRT97
- P. D'Argenio, J.-P. Katoen, T. Ruys, and J. Tretmans. The bounded retransmission protocol must be on time! In Proceedings of the 3rd Workshop on Tools and Algorithms for the Construction and Analysis of Systems, volume 1217 of Lecture Notes in Computer Science, pages 416-431. Springer-Verlag, 1997.
- HSV93
- L. Helmink, M. Sellink, and F. Vaandrager. Proof-checking a data link protocol. In Proceedings International Workshop TYPES'93, volume 806 of Lecture Notes in Computer Science, pages 127-165. Springer-Verlag, 1994.
Tomte
- AHKOV12
- F. Aarts, F. Heidarian, H. Kuppens, P. Olsen, and F. Vaandrager. Automata learning through counterexample-guided abstraction refinement. In Proceedings of the 18th International Symposium on Formal Methods (FM 2012), volume 7436 of Lecture Notes in Computer Science, pages 10-27. Springer, 2012.
- GLMS11
- H. Garavel, F. Lang, R. Mateescu, and W. Serwe. CADP 2010: A toolbox for the construction and analysis of distributed processes. In Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 6605 of Lecture Notes in Computer Science, pages 372{387. Springer Berlin/Heidelberg, 2011.
