%0 Journal Article %1 journals/it/SchmidSHLS99 %A Schmid, Detlef %A Schneider, Klaus %A Huhn, Michaela %A Logothetis, George %A Sabelfeld, Viktor K. %D 1999 %J Informationstechnik Tech. Inform. %K dblp %N 2 %P 12-16 %T Formale Verifikation eingebetteter Systeme. %U http://dblp.uni-trier.de/db/journals/it/it41.html#SchmidSHLS99 %V 41

@article{journals/it/SchmidSHLS99, added-at = {2020-09-08T00:00:00.000+0200}, author = {Schmid, Detlef and Schneider, Klaus and Huhn, Michaela and Logothetis, George and Sabelfeld, Viktor K.}, biburl = {https://www.bibsonomy.org/bibtex/215028e5d12380f8edc898ef4d5c8100a/dblp}, ee = {https://doi.org/10.1524/itit.1999.41.2.12}, interhash = {ef2533584eea486871a8f61782ed7999}, intrahash = {15028e5d12380f8edc898ef4d5c8100a}, journal = {Informationstechnik Tech. Inform.}, keywords = {dblp}, number = 2, pages = {12-16}, timestamp = {2020-09-09T13:36:20.000+0200}, title = {Formale Verifikation eingebetteter Systeme.}, url = {http://dblp.uni-trier.de/db/journals/it/it41.html#SchmidSHLS99}, volume = 41, year = 1999 }