%0 Conference Paper %1 conf/hvc/SchlichNBB09 %A Schlich, Bastian %A Noll, Thomas %A Brauer, Jörg %A Brutschy, Lucas %B Haifa Verification Conference %D 2009 %E Namjoshi, Kedar S. %E Zeller, Andreas %E Ziv, Avi %I Springer %K dblp %P 5-20 %T Reduction of Interrupt Handler Executions for Model Checking Embedded Software. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2009.html#SchlichNBB09 %V 6405 %@ 978-3-642-19236-4

@inproceedings{conf/hvc/SchlichNBB09, added-at = {2020-01-08T00:00:00.000+0100}, author = {Schlich, Bastian and Noll, Thomas and Brauer, Jörg and Brutschy, Lucas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20ff8cb02b339c4cd40c16af39cbf1329/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2009}, editor = {Namjoshi, Kedar S. and Zeller, Andreas and Ziv, Avi}, ee = {https://doi.org/10.1007/978-3-642-19237-1_5}, interhash = {6fe5e1ca64e09ed9484309d5ca271b32}, intrahash = {0ff8cb02b339c4cd40c16af39cbf1329}, isbn = {978-3-642-19236-4}, keywords = {dblp}, pages = {5-20}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-01-09T08:19:00.000+0100}, title = {Reduction of Interrupt Handler Executions for Model Checking Embedded Software.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2009.html#SchlichNBB09}, volume = 6405, year = 2009 }