Craig Damon, Daniel Jackson, Somesh Jha. Checking Relational Specifications With Binary Decision Diagrams. In SIGSOFT FSE. pages 70-80, 1996. [doi]
@inproceedings{DamonJJ96, title = {Checking Relational Specifications With Binary Decision Diagrams}, author = {Craig Damon and Daniel Jackson and Somesh Jha}, year = {1996}, doi = {10.1145/239098.239110}, url = {http://doi.acm.org/10.1145/239098.239110}, researchr = {https://researchr.org/publication/DamonJJ96}, cites = {0}, citedby = {0}, pages = {70-80}, booktitle = {SIGSOFT FSE}, }