%0 Journal Article %1 rossi_04_formalization %A Rossi, Carlos %A Enciso, Manuel %A de Guzm'an, Inmaculada P. %D 2004 %J Software and Systems Modeling %K 2004 semantics statecharts uml temporal_logic %N 1 %P 31--54 %R 10.1007/s10270-003-0029-7 %T Formalization of UML state machines using temporal logic %U http://dx.doi.org/10.1007/s10270-003-0029-7 %V 3

@article{rossi_04_formalization, added-at = {2009-02-12T11:41:46.000+0100}, author = {Rossi, Carlos and Enciso, Manuel and de Guzm'{a}n, Inmaculada P.}, biburl = {https://www.bibsonomy.org/bibtex/2f3ea4bd4aa44acd59bc8aaae7446782b/leonardo}, citeulike-article-id = {888408}, doi = {10.1007/s10270-003-0029-7}, interhash = {ecd6bcc08d7cc04870d8b8bc62246122}, intrahash = {f3ea4bd4aa44acd59bc8aaae7446782b}, journal = {Software and Systems Modeling}, keywords = {2004 semantics statecharts uml temporal_logic}, month = {March}, number = 1, pages = {31--54}, posted-at = {2006-10-07 13:57:19}, priority = {2}, timestamp = {2009-02-12T11:41:46.000+0100}, title = {Formalization of UML state machines using temporal logic}, url = {http://dx.doi.org/10.1007/s10270-003-0029-7}, volume = 3, year = 2004 }