%0 Conference Paper %1 conf/date/LettninNBRGKRSR09 %A Lettnin, Djones %A Nalla, Pradeep Kumar %A Behrend, Jörg %A Ruf, Jürgen %A Gerlach, Joachim %A Kropf, Thomas %A Rosenstiel, Wolfgang %A Schönknecht, Volker %A Reitemeyer, Stephan %B DATE %D 2009 %E Benini, Luca %E Micheli, Giovanni De %E Al-Hashimi, Bashir M. %E Müller, Wolfgang %I IEEE %K %P 1214-1217 %T Semiformal verification of temporal properties in automotive hardware dependent software. %U http://dblp.uni-trier.de/db/conf/date/date2009.html#LettninNBRGKRSR09 %@ 978-1-4244-3781-8

@inproceedings{conf/date/LettninNBRGKRSR09, added-at = {2023-12-13T07:53:08.000+0100}, author = {Lettnin, Djones and Nalla, Pradeep Kumar and Behrend, Jörg and Ruf, Jürgen and Gerlach, Joachim and Kropf, Thomas and Rosenstiel, Wolfgang and Schönknecht, Volker and Reitemeyer, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/2ec04111b03f23c9c4b42838121741247/admin}, booktitle = {DATE}, crossref = {conf/date/2009}, editor = {Benini, Luca and Micheli, Giovanni De and Al-Hashimi, Bashir M. and Müller, Wolfgang}, ee = {http://dl.acm.org/citation.cfm?id=1874912}, interhash = {be76839ed8b93786f5eed88892081fa9}, intrahash = {ec04111b03f23c9c4b42838121741247}, isbn = {978-1-4244-3781-8}, keywords = {}, pages = {1214-1217}, publisher = {IEEE}, timestamp = {2023-12-13T07:53:08.000+0100}, title = {Semiformal verification of temporal properties in automotive hardware dependent software.}, url = {http://dblp.uni-trier.de/db/conf/date/date2009.html#LettninNBRGKRSR09}, year = 2009 }