State space reductions for scalable verification of asynchronous designs. Yao, H., Zheng, H., & Myers, C. J. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2010, Anaheim, CA, USA, 10-12 June 2010, pages 17–24, 2010.
State space reductions for scalable verification of asynchronous designs [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/hldvt/YaoZM10,
  author    = {Haiqiong Yao and
               Hao Zheng and
               Chris J. Myers},
  title     = {State space reductions for scalable verification of asynchronous designs},
  booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
               {HLDVT} 2010, Anaheim, CA, USA, 10-12 June 2010},
  pages     = {17--24},
  year      = {2010},
  crossref  = {DBLP:conf/hldvt/2010},
  url       = {https://doi.org/10.1109/HLDVT.2010.5496666},
  doi       = {10.1109/HLDVT.2010.5496666},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hldvt/YaoZM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0