%0 Conference Paper %1 conf/fmco/DammJPV02 %A Damm, Werner %A Josko, Bernhard %A Pnueli, Amir %A Votintseva, Anjelika %B FMCO %D 2002 %E de Boer, Frank S. %E Bonsangue, Marcello M. %E Graf, Susanne %E de Roever, Willem P. %I Springer %K dblp %P 71-98 %T Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. %U http://dblp.uni-trier.de/db/conf/fmco/fmco2002.html#DammJPV02 %V 2852 %@ 3-540-20303-6

@inproceedings{conf/fmco/DammJPV02, added-at = {2017-05-17T00:00:00.000+0200}, author = {Damm, Werner and Josko, Bernhard and Pnueli, Amir and Votintseva, Anjelika}, biburl = {https://www.bibsonomy.org/bibtex/2c0164b63b9d419a3fcbdde083e512d54/dblp}, booktitle = {FMCO}, crossref = {conf/fmco/2002}, editor = {de Boer, Frank S. and Bonsangue, Marcello M. and Graf, Susanne and de Roever, Willem P.}, ee = {https://doi.org/10.1007/978-3-540-39656-7_3}, interhash = {7fdf006d2b8005968ca5cfe41793389c}, intrahash = {c0164b63b9d419a3fcbdde083e512d54}, isbn = {3-540-20303-6}, keywords = {dblp}, pages = {71-98}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T12:47:54.000+0200}, title = {Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML.}, url = {http://dblp.uni-trier.de/db/conf/fmco/fmco2002.html#DammJPV02}, volume = 2852, year = 2002 }