Holger Giese, Matthias Tichy, Sven Burmester, Stephan Flake. Towards the compositional verification of real-time UML designs. In Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003. pages 38-47, ACM, 2003. [doi]
@inproceedings{GieseTBF03,
title = {Towards the compositional verification of real-time UML designs},
author = {Holger Giese and Matthias Tichy and Sven Burmester and Stephan Flake},
year = {2003},
doi = {10.1145/940071.940078},
url = {http://doi.acm.org/10.1145/940071.940078},
tags = {composition, UML},
researchr = {https://researchr.org/publication/GieseTBF03},
cites = {0},
citedby = {0},
pages = {38-47},
booktitle = {Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003},
publisher = {ACM},
}