%0 Journal Article %1 franzle_03_semantics %A Fränzle, Martin %A Niehaus, Jürgen %A Metzner, Alexander %A Damm, Werner %D 2003 %J Formal Aspects of Computing %K semantics statecharts 2003 distributed statemate %N 4 %P 390--405 %R 10.1007/s00165-003-0015-4 %T A Semantics for Distributed Execution of Statemate %U http://dx.doi.org/10.1007/s00165-003-0015-4 %V V15

@article{franzle_03_semantics, added-at = {2009-02-11T22:25:39.000+0100}, author = {Fr"{a}nzle, Martin and Niehaus, J"{u}rgen and Metzner, Alexander and Damm, Werner}, biburl = {https://www.bibsonomy.org/bibtex/2256c3a78505d2de008823e122b5f5dca/leonardo}, citeulike-article-id = {887517}, doi = {10.1007/s00165-003-0015-4}, interhash = {8f3f5ec3414e8573e504866ee8d8fbe9}, intrahash = {256c3a78505d2de008823e122b5f5dca}, journal = {Formal Aspects of Computing}, keywords = {semantics statecharts 2003 distributed statemate}, month = {December}, number = 4, pages = {390--405}, posted-at = {2006-10-06 20:32:37}, priority = {3}, timestamp = {2009-02-11T22:25:39.000+0100}, title = {A Semantics for Distributed Execution of Statemate}, url = {http://dx.doi.org/10.1007/s00165-003-0015-4}, volume = {V15}, year = 2003 }