@inproceedings{BalogKramerZauner,
  author    = {Balog, Peter and Kramer, Michael and Zauner, Martin},
  title     = {Modellierung reaktiver Systeme mit Esterel},
  series = {Tagungsband zum ersten Forschungsforum der {\"o}sterreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria},
  booktitle = {Tagungsband zum ersten Forschungsforum der {\"o}sterreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria},
  subject      = {Reactive Systems},
  language  = {de}
}