@inproceedings{HHZ09,
  added-at = {2011-03-23T16:37:28.000+0100},
  author = {Heinzemann, Chrisitan and Henkler, Stefan and Zündorf, Albert},
  biburl = {https://www.bibsonomy.org/bibtex/243ed3c040ac5fc5d97a3826f4cb91149/zuendorf},
  booktitle = {Proc. Fujaba Days 2009},
  editor = {van Gorp, Pieter},
  interhash = {9b46aa4ffe32c6a58f2fc0fe106eb976},
  intrahash = {43ed3c040ac5fc5d97a3826f4cb91149},
  keywords = {model_checking myown se},
  pages = {69-73},
  timestamp = {2011-03-23T16:39:54.000+0100},
  title = {Specication and Refinement Checking of Dynamic Systems},
  year = 2009
}