%0 Conference Paper %1 conf/caise/PlanasCG09 %A Planas, Elena %A Cabot, Jordi %A Gómez, Cristina %B CAiSE %D 2009 %E van Eck, Pascal %E Gordijn, Jaap %E Wieringa, Roel J. %I Springer %K dblp %P 125-140 %T Verifying Action Semantics Specifications in UML Behavioral Models. %U http://dblp.uni-trier.de/db/conf/caise/caise2009.html#PlanasCG09 %V 5565 %@ 978-3-642-02143-5

@inproceedings{conf/caise/PlanasCG09, added-at = {2022-10-02T00:00:00.000+0200}, author = {Planas, Elena and Cabot, Jordi and Gómez, Cristina}, biburl = {https://www.bibsonomy.org/bibtex/2cb909eff77cf2bb40f1a8f7ecdef5308/dblp}, booktitle = {CAiSE}, crossref = {conf/caise/2009}, editor = {van Eck, Pascal and Gordijn, Jaap and Wieringa, Roel J.}, ee = {https://doi.org/10.1007/978-3-642-02144-2_14}, interhash = {549d2f99bf46efb6c29c8d7153125295}, intrahash = {cb909eff77cf2bb40f1a8f7ecdef5308}, isbn = {978-3-642-02143-5}, keywords = {dblp}, pages = {125-140}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T06:09:13.000+0200}, title = {Verifying Action Semantics Specifications in UML Behavioral Models.}, url = {http://dblp.uni-trier.de/db/conf/caise/caise2009.html#PlanasCG09}, volume = 5565, year = 2009 }