by Dominique Gückel
Reference:
Retargeting a Hardware-Dependent Model Checker by Using Architecture Description Languages (Dominique Gückel), In Doctoral Symposium on Systems Software Verification (DS SSV 2009), 2009.
Bibtex Entry:
@inproceedings { Guec09,
author = { G{"u}ckel, Dominique },
title = { Retargeting a Hardware-Dependent Model Checker by Using
Architecture Description Languages },
booktitle = { Doctoral Symposium on Systems Software Verification (DS SSV
2009) },
issn = { 0935–3232 },
year = { 2009 },
series = { Aachener Informatik-Berichte },
owner = { gueckel },
timestamp = { 2009.06.02 },
url = { http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2009/2009-14.pdf },
i11key = { conference },
for_reporting_period = { Old },
}