@article{,Author = {Fränzle, Martin and Niehaus, Jürgen and Metzner, Alexander and Damm, Werner},Title = {A Semantics for Distributed Execution of STATEMATE},Year = {2003},Pages = {390-405},Month = {12},Editor = {Springer-Verlag London Ltd},Publisher = {Springer-Verlag London Ltd},type = {article}}@COMMENT{Bibtex file generated on }