Djones Lettnin, Pradeep Kumar Nalla, Jörg Behrend, Jürgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schönknecht, Stephan Reitemeyer. Semiformal verification of temporal properties in automotive hardware dependent software. In Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009. pages 1214-1217, IEEE, 2009. [doi]
@inproceedings{LettninNBRGKRSR09,
title = {Semiformal verification of temporal properties in automotive hardware dependent software},
author = {Djones Lettnin and Pradeep Kumar Nalla and Jörg Behrend and Jürgen Ruf and Joachim Gerlach and Thomas Kropf and Wolfgang Rosenstiel and Volker Schönknecht and Stephan Reitemeyer},
year = {2009},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=5090609&arnumber=5090847&count=326&index=233},
researchr = {https://researchr.org/publication/LettninNBRGKRSR09},
cites = {0},
citedby = {0},
pages = {1214-1217},
booktitle = {Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009},
publisher = {IEEE},
}