@inproceedings{conf/korso/DammHKS95,
  added-at = {2002-02-05T00:00:00.000+0100},
  author = {Damm, Werner and Hungar, Hardi and Kelb, Peter and Schlör, Rainer},
  biburl = {http://www.bibsonomy.org/bibtex/2227fad7a16654214a17455d326bb03b2/dblp},
  booktitle = {Formal Development of Reactive Systems},
  crossref = {conf/korso/1995fd},
  date = {2002-02-05},
  description = {dblp},
  editor = {Lewerentz, Claus and Lindner, Thomas},
  interhash = {f3c6dc9aa77ab7422f3f42eebcc85177},
  intrahash = {227fad7a16654214a17455d326bb03b2},
  isbn = {3-540-58867-1},
  keywords = {dblp},
  pages = {131-149},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2002-02-05T00:00:00.000+0100},
  title = {Statecharts.},
  url = {http://dblp.uni-trier.de/db/conf/korso/korso1995fd.html#DammHKS95},
  volume = 891,
  year = 1995
}