%0 Conference Paper %1 conf/sigsoft/GieseTBF03 %A Giese, Holger %A Tichy, Matthias %A Burmester, Sven %A Flake, Stephan %B ESEC / SIGSOFT FSE %D 2003 %E Paakki, Jukka %E Inverardi, Paola %I ACM %K %P 38-47 %T Towards the compositional verification of real-time UML designs. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2003.html#GieseTBF03

@inproceedings{conf/sigsoft/GieseTBF03, added-at = {2023-12-13T00:18:24.000+0100}, author = {Giese, Holger and Tichy, Matthias and Burmester, Sven and Flake, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/20a4984160218d1a3f689ea68fa6f00b5/admin}, booktitle = {ESEC / SIGSOFT FSE}, crossref = {conf/sigsoft/2003}, editor = {Paakki, Jukka and Inverardi, Paola}, ee = {https://doi.org/10.1145/940071.940078}, interhash = {617cf94be88dd164f6e241d22c11bc6e}, intrahash = {0a4984160218d1a3f689ea68fa6f00b5}, keywords = {}, pages = {38-47}, publisher = {ACM}, timestamp = {2023-12-13T00:18:24.000+0100}, title = {Towards the compositional verification of real-time UML designs.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2003.html#GieseTBF03}, year = 2003 }