{"type":"journal_article","title":"Proof-Carrying Hardware via {IC3}","year":"2014","publication":"CoRR","_id":"3175","date_updated":"2022-01-06T06:59:02Z","user_id":"29719","author":[{"first_name":"Tobias","last_name":"Isenberg","full_name":"Isenberg, Tobias"},{"last_name":"Wehrheim","first_name":"Heike","id":"573","full_name":"Wehrheim, Heike"}],"department":[{"_id":"77"}],"date_created":"2018-06-13T08:07:24Z","citation":{"mla":"Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via {IC3}.” <i>CoRR</i>, 2014.","ama":"Isenberg T, Wehrheim H. Proof-Carrying Hardware via {IC3}. <i>CoRR</i>. 2014.","ieee":"T. Isenberg and H. Wehrheim, “Proof-Carrying Hardware via {IC3},” <i>CoRR</i>, 2014.","chicago":"Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via {IC3}.” <i>CoRR</i>, 2014.","apa":"Isenberg, T., &#38; Wehrheim, H. (2014). Proof-Carrying Hardware via {IC3}. <i>CoRR</i>.","bibtex":"@article{Isenberg_Wehrheim_2014, title={Proof-Carrying Hardware via {IC3}}, journal={CoRR}, author={Isenberg, Tobias and Wehrheim, Heike}, year={2014} }","short":"T. Isenberg, H. Wehrheim, CoRR (2014)."},"status":"public"}