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}, }