Radu Iosif
Exploiting Heap Symmetries in Explicit-State Model Checking of Software
ASE, 2001.
@inproceedings{ASE-2001-Iosif, author = "Radu Iosif", booktitle = "{Proceedings of the 16th IEEE International Conference on Automated Software Engineering}", doi = "10.1109/ASE.2001.989811", isbn = "0-7695-1426-X", pages = "254--261", publisher = "{IEEE Computer Society}", title = "{Exploiting Heap Symmetries in Explicit-State Model Checking of Software}", year = 2001, }