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 }, }