@inproceedings{Ios01,
title = {Exploiting Heap Symmetries in Explicit-State Model Checking of Software },
author = {Iosif, Radu},
year = {2001},
booktitle = {16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA},
pages = {254-261},
publisher = {IEEE Computer Society},
team = {DCS,PACSS},
}
