e GI: Publications


Publications

Author:Schmid, Detlef and Schneider, Klaus and Huhn, Michaela and Logothetis, George and Sabelfeld, Viktor
Title:Formale Verifikation eingebetteter Systeme.
Journal:it $+$ ti - Informationstechnik und Technische Informatik
Volume:99
Year:1999
Pages:12-16
Number:2
BibTeX-Code:
@article{SSHLS98,
author={Schmid, Detlef and Schneider, Klaus and Huhn, Michaela and Logothetis, George and Sabelfeld, Viktor},
title={Formale Verifikation eingebetteter Systeme.},
journal={it $+$ ti - Informationstechnik und Technische Informatik},
volume={99},
year={1999},
pages={12-16},
number={2},
}


Back to summary
 

Contact  Search  Sitemap  Data Privacy  Imprint
© TU Clausthal 2018