%0 Conference Paper %1 conf/isvlsi/DesaiSO13 %A Desai, Krishnaji %A Stevens, Kenneth S. %A O'Leary, John %B ISVLSI %D 2013 %I IEEE Computer Socity %K dblp %P 147-152 %T Symbolic verification of timed asynchronous hardware protocols. %U http://dblp.uni-trier.de/db/conf/isvlsi/isvlsi2013.html#DesaiSO13 %@ 978-1-4799-1331-2

@inproceedings{conf/isvlsi/DesaiSO13, added-at = {2023-03-24T00:00:00.000+0100}, author = {Desai, Krishnaji and Stevens, Kenneth S. and O'Leary, John}, biburl = {https://www.bibsonomy.org/bibtex/2d4210748531b8f7b542ceb99c0ba38a9/dblp}, booktitle = {ISVLSI}, crossref = {conf/isvlsi/2013}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISVLSI.2013.6654650}, interhash = {e2f9605839470d5f81b6cf5be5635f16}, intrahash = {d4210748531b8f7b542ceb99c0ba38a9}, isbn = {978-1-4799-1331-2}, keywords = {dblp}, pages = {147-152}, publisher = {IEEE Computer Socity}, timestamp = {2024-04-10T11:07:21.000+0200}, title = {Symbolic verification of timed asynchronous hardware protocols.}, url = {http://dblp.uni-trier.de/db/conf/isvlsi/isvlsi2013.html#DesaiSO13}, year = 2013 }