%0 Journal Article %1 pokozy-korenblat_04_toward %A Korenblat, Katerina P. %A Priami, Corrado %B Proceedings of the Workshop on the Compositional Verification of UML Models (CVUML) %D 2004 %J Electronic Notes in Theoretical Computer Science %K 2004 statecharts uml %P 51--72 %R 10.1016/j.entcs.2004.09.007 %T Toward Extracting pi-calculus from UML Sequence and State Diagrams %U http://dx.doi.org/10.1016/j.entcs.2004.09.007 %V 101

@article{pokozy-korenblat_04_toward, added-at = {2009-02-11T22:19:07.000+0100}, author = {Korenblat, Katerina P. and Priami, Corrado}, biburl = {https://www.bibsonomy.org/bibtex/2379d2875222eddd5cc6cb37ac1dd9da3/leonardo}, booktitle = {Proceedings of the Workshop on the Compositional Verification of UML Models (CVUML)}, citeulike-article-id = {2504063}, doi = {10.1016/j.entcs.2004.09.007}, interhash = {6394edc0b858bdd74d02bfee41a9b4f0}, intrahash = {379d2875222eddd5cc6cb37ac1dd9da3}, journal = {Electronic Notes in Theoretical Computer Science}, keywords = {2004 statecharts uml}, month = {November}, pages = {51--72}, posted-at = {2008-03-10 18:35:32}, priority = {2}, timestamp = {2009-02-11T22:19:07.000+0100}, title = {Toward Extracting [pi]-calculus from UML Sequence and State Diagrams}, url = {http://dx.doi.org/10.1016/j.entcs.2004.09.007}, volume = 101, year = 2004 }