@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 }