%0 Report %1 david_03_formal %A David, Alexandre %A Deneux, Johann %A D'Orso, Julien %D 2003 %K semantics statecharts 2003 uml %N 2003-010 %T A Formal Semantics for UML Statecharts %U http://www.it.uu.se/research/reports/2003-010/

@techreport{david_03_formal, added-at = {2009-02-11T22:24:17.000+0100}, author = {David, Alexandre and Deneux, Johann and D'Orso, Julien}, biburl = {https://www.bibsonomy.org/bibtex/2249d003319f0c91f78b8e2e2fe718b09/leonardo}, citeulike-article-id = {2941205}, institution = {Uppsala University}, interhash = {a911ee1f12477749caaef72c8650d231}, intrahash = {249d003319f0c91f78b8e2e2fe718b09}, keywords = {semantics statecharts 2003 uml}, number = {2003-010}, posted-at = {2008-06-29 11:44:02}, priority = {2}, timestamp = {2009-02-11T22:24:17.000+0100}, title = {A Formal Semantics for {UML} Statecharts}, url = {http://www.it.uu.se/research/reports/2003-010/}, year = 2003 }