%0 Conference Paper %1 conf/saso/DhawanKKHPSDMMKSHZWTRS12 %A Dhawan, Udit %A Kwon, Albert %A Kadric, Edin %A Hritcu, Catalin %A Pierce, Benjamin C. %A Smith, Jonathan M. %A DeHon, André %A Malecha, Gregory %A Morrisett, Greg %A Jr., Thomas F. Knight %A Sutherland, Andrew %A Hawkins, Tom %A Zyxnfryx, Amanda %A Wittenberg, David K. %A Trei, Peter %A Ray, Sumit %A Sullivan, Greg %B SASO Workshops %D 2012 %I IEEE Computer Society %K %P 1-8 %T Hardware Support for Safety Interlocks and Introspection. %U http://dblp.uni-trier.de/db/conf/saso/saso2012w.html#DhawanKKHPSDMMKSHZWTRS12 %@ 978-1-4673-5153-9

@inproceedings{conf/saso/DhawanKKHPSDMMKSHZWTRS12, added-at = {2023-12-13T06:46:43.000+0100}, author = {Dhawan, Udit and Kwon, Albert and Kadric, Edin and Hritcu, Catalin and Pierce, Benjamin C. and Smith, Jonathan M. and DeHon, André and Malecha, Gregory and Morrisett, Greg and Jr., Thomas F. Knight and Sutherland, Andrew and Hawkins, Tom and Zyxnfryx, Amanda and Wittenberg, David K. and Trei, Peter and Ray, Sumit and Sullivan, Greg}, biburl = {https://www.bibsonomy.org/bibtex/2301cbc47386bfe928313d1eea139adcd/admin}, booktitle = {SASO Workshops}, crossref = {conf/saso/2012w}, ee = {http://doi.ieeecomputersociety.org/10.1109/SASOW.2012.11}, interhash = {b19c7f101be8adde5d63591ec695338b}, intrahash = {301cbc47386bfe928313d1eea139adcd}, isbn = {978-1-4673-5153-9}, keywords = {}, pages = {1-8}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T06:46:43.000+0100}, title = {Hardware Support for Safety Interlocks and Introspection.}, url = {http://dblp.uni-trier.de/db/conf/saso/saso2012w.html#DhawanKKHPSDMMKSHZWTRS12}, year = 2012 }