%0 Conference Paper %1 conf/hvc/ChauHRS17 %A Chau, Cuong K. %A Jr., Warren A. Hunt %A Roncken, Marly %A Sutherland, Ivan E. %B Haifa Verification Conference %D 2017 %E Strichman, Ofer %E Tzoref-Brill, Rachel %I Springer %K dblp %P 3-18 %T A Framework for Asynchronous Circuit Modeling and Verification in ACL2. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2017.html#ChauHRS17 %V 10629 %@ 978-3-319-70389-3

@inproceedings{conf/hvc/ChauHRS17, added-at = {2017-11-14T00:00:00.000+0100}, author = {Chau, Cuong K. and Jr., Warren A. Hunt and Roncken, Marly and Sutherland, Ivan E.}, biburl = {https://www.bibsonomy.org/bibtex/216fbc4de4300de23233cd87504cb9286/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2017}, editor = {Strichman, Ofer and Tzoref-Brill, Rachel}, ee = {https://doi.org/10.1007/978-3-319-70389-3_1}, interhash = {589d59dee3c4a3578aa0afd9079ca241}, intrahash = {16fbc4de4300de23233cd87504cb9286}, isbn = {978-3-319-70389-3}, keywords = {dblp}, pages = {3-18}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:29:45.000+0200}, title = {A Framework for Asynchronous Circuit Modeling and Verification in ACL2.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2017.html#ChauHRS17}, volume = 10629, year = 2017 }