%0 Conference Paper %1 conf/spin/ZhengRZM12 %A Zheng, Hao %A Rodriguez, Emmanuel %A Zhang, Yingying %A Myers, Chris J. %B SPIN %D 2012 %E Donaldson, Alastair F. %E Parker, David %I Springer %K dblp %P 62-79 %T A Compositional Minimization Approach for Large Asynchronous Design Verification. %U http://dblp.uni-trier.de/db/conf/spin/spin2012.html#ZhengRZM12 %V 7385 %@ 978-3-642-31758-3

@inproceedings{conf/spin/ZhengRZM12, added-at = {2019-06-02T00:00:00.000+0200}, author = {Zheng, Hao and Rodriguez, Emmanuel and Zhang, Yingying and Myers, Chris J.}, biburl = {https://www.bibsonomy.org/bibtex/2304b8e348751a5ab2dc53cbf4b8c0fc2/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2012}, editor = {Donaldson, Alastair F. and Parker, David}, ee = {https://www.wikidata.org/entity/Q59859508}, interhash = {df459933f3161acb73c76191b096d707}, intrahash = {304b8e348751a5ab2dc53cbf4b8c0fc2}, isbn = {978-3-642-31758-3}, keywords = {dblp}, pages = {62-79}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T14:11:35.000+0200}, title = {A Compositional Minimization Approach for Large Asynchronous Design Verification.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2012.html#ZhengRZM12}, volume = 7385, year = 2012 }