Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}
