%0 Journal Article %1 heinzemannspecification %A Heinzemann, Christian %A Henkler, Stefan %A Zündorf, Albert %D 2009 %J Proceedings of the 7th International Fujaba Days %K myown se %P 6--10 %T Specification and refinement checking of dynamic systems %U http://www.fujaba.de/uploads/tx_sibibtex/FDAYS09_HHZ_Pre.pdf %V 2009

@article{heinzemannspecification, added-at = {2013-09-19T17:10:51.000+0200}, author = {Heinzemann, Christian and Henkler, Stefan and Z{\"u}ndorf, Albert}, biburl = {https://www.bibsonomy.org/bibtex/2f5144b8474c348390edadd2cf4a38334/zuendorf}, interhash = {decddb6a4710c828ca5eb4a8a9a9a866}, intrahash = {f5144b8474c348390edadd2cf4a38334}, journal = {Proceedings of the 7th International Fujaba Days}, keywords = {myown se}, pages = {6--10}, timestamp = {2013-09-19T17:10:51.000+0200}, title = {Specification and refinement checking of dynamic systems}, url = {http://www.fujaba.de/uploads/tx_sibibtex/FDAYS09_HHZ_Pre.pdf}, volume = 2009, year = 2009 }