Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla. Effects of property ordering in an incremental formal modeling methodology. In Ninth IEEE International High-Level Design Validation and Test Workshop 2004, Sonoma Valley, CA, USA, November 10-12, 2004. pages 89-94, IEEE Computer Society, 2004. [doi]
@inproceedings{SuhaibMS04, title = {Effects of property ordering in an incremental formal modeling methodology}, author = {Syed Suhaib and Deepak Mathaikutty and Sandeep K. Shukla}, year = {2004}, doi = {10.1109/HLDVT.2004.1431245}, url = {http://doi.ieeecomputersociety.org/10.1109/HLDVT.2004.1431245}, researchr = {https://researchr.org/publication/SuhaibMS04}, cites = {0}, citedby = {0}, pages = {89-94}, booktitle = {Ninth IEEE International High-Level Design Validation and Test Workshop 2004, Sonoma Valley, CA, USA, November 10-12, 2004}, publisher = {IEEE Computer Society}, isbn = {0-7803-8714-7}, }