Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Andriantsiferana. Specification and Validation of Multimedia Protocols using RT-LOTOS. In 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings. pages 354-362, IEEE Computer Society, 1995. [doi]
@inproceedings{CourtiatOA95,
title = {Specification and Validation of Multimedia Protocols using RT-LOTOS},
author = {Jean-Pierre Courtiat and Roberto C. de Oliveira and L. Andriantsiferana},
year = {1995},
url = {http://csdl.computer.org/comp/proceedings/ftdcs/1995/7125/00/71250354abs.htm},
tags = {protocol, C++, multimedia},
researchr = {https://researchr.org/publication/CourtiatOA95},
cites = {0},
citedby = {0},
pages = {354-362},
booktitle = {5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings},
publisher = {IEEE Computer Society},
}