Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent. Timed Extensions for SDL. In Rick Reed, Jeanne Reed, editors, SDL 2001: Meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings. Volume 2078 of Lecture Notes in Computer Science, pages 223-240, Springer, 2001. [doi]
@inproceedings{BozgaGMORV01,
title = {Timed Extensions for SDL},
author = {Marius Bozga and Susanne Graf and Laurent Mounier and Iulian Ober and Jean-Luc Roux and Daniel Vincent},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2078/20780223.htm},
researchr = {https://researchr.org/publication/BozgaGMORV01},
cites = {0},
citedby = {0},
pages = {223-240},
booktitle = {SDL 2001: Meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings},
editor = {Rick Reed and Jeanne Reed},
volume = {2078},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42281-1},
}