%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 dblp %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 %@ 978-1-58113-743-9

@inproceedings{conf/sigsoft/GieseTBF03, added-at = {2018-11-06T00:00:00.000+0100}, author = {Giese, Holger and Tichy, Matthias and Burmester, Sven and Flake, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/20a4984160218d1a3f689ea68fa6f00b5/dblp}, 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}, isbn = {978-1-58113-743-9}, keywords = {dblp}, pages = {38-47}, publisher = {ACM}, timestamp = {2024-04-09T17:52:50.000+0200}, title = {Towards the compositional verification of real-time UML designs.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2003.html#GieseTBF03}, year = 2003 }