Early Quantification and Partitioned Transition Relations

Ramin Hojati, Sriram C. Krishnan, Robert K. Brayton. Early Quantification and Partitioned Transition Relations. In 1996 International Conference on Computer Design (ICCD 96), VLSI in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings. pages 12-19, IEEE Computer Society, 1996. [doi]

@inproceedings{HojatiKB96,
  title = {Early Quantification and Partitioned Transition Relations},
  author = {Ramin Hojati and Sriram C. Krishnan and Robert K. Brayton},
  year = {1996},
  url = {http://computer.org/proceedings/iccd/7554/75540012abs.htm},
  tags = {C++, partitioning},
  researchr = {https://researchr.org/publication/HojatiKB96},
  cites = {0},
  citedby = {0},
  pages = {12-19},
  booktitle = {1996 International Conference on Computer Design (ICCD  96), VLSI in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-7554-3},
}