%0 Book %1 philipps_97_formal %A Philipps, Jan %A Scholz, Peter %D 1997 %J Lecture Notes in Computer Science : Tools and Algorithms for the Construction and Analysis of Systems %K 1997 semantics statecharts %P 224--238 %R 10.1007/BFb0035391 %T Formal verification of statecharts with instantaneous chain reactions %U http://dx.doi.org/10.1007/BFb0035391

@book{philipps_97_formal, added-at = {2009-02-12T11:21:15.000+0100}, author = {Philipps, Jan and Scholz, Peter}, biburl = {https://www.bibsonomy.org/bibtex/24211c0d91b7d5692c377e046d4a88219/leonardo}, citeulike-article-id = {887592}, doi = {10.1007/BFb0035391}, interhash = {7e5575a13e014c27849f7169113af13d}, intrahash = {4211c0d91b7d5692c377e046d4a88219}, journal = {Lecture Notes in Computer Science : Tools and Algorithms for the Construction and Analysis of Systems}, keywords = {1997 semantics statecharts}, pages = {224--238}, posted-at = {2006-10-06 23:16:20}, priority = {2}, timestamp = {2009-02-12T11:21:15.000+0100}, title = {Formal verification of statecharts with instantaneous chain reactions}, url = {http://dx.doi.org/10.1007/BFb0035391}, year = 1997 }