%0 Conference Paper %1 conf/fmcad/SinhaSMSW12 %A Sinha, Rohit %A Sturton, Cynthia %A Maniatis, Petros %A Seshia, Sanjit A. %A Wagner, David A. %B FMCAD %D 2012 %E Cabodi, Gianpiero %E Singh, Satnam %I IEEE %K %P 68-77 %T Verification with small and short worlds. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2012.html#SinhaSMSW12 %@ 978-1-4673-4832-4

@inproceedings{conf/fmcad/SinhaSMSW12, added-at = {2023-12-13T02:24:14.000+0100}, author = {Sinha, Rohit and Sturton, Cynthia and Maniatis, Petros and Seshia, Sanjit A. and Wagner, David A.}, biburl = {https://www.bibsonomy.org/bibtex/2beb4d711c715aa6e3e7ccc7106e1211d/admin}, booktitle = {FMCAD}, crossref = {conf/fmcad/2012}, editor = {Cabodi, Gianpiero and Singh, Satnam}, ee = {http://ieeexplore.ieee.org/document/6462557/}, interhash = {7ec21bd680649931d9fb082fdf4b9ec4}, intrahash = {beb4d711c715aa6e3e7ccc7106e1211d}, isbn = {978-1-4673-4832-4}, keywords = {}, pages = {68-77}, publisher = {IEEE}, timestamp = {2023-12-13T02:24:14.000+0100}, title = {Verification with small and short worlds.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2012.html#SinhaSMSW12}, year = 2012 }