Jianbin Tan, George S. Avrunin, Lori A. Clarke
Managing space for finite-state verification
ICSE, 2006.
@inproceedings{ICSE-2006-TanAC,
author = "Jianbin Tan and George S. Avrunin and Lori A. Clarke",
booktitle = "{Proceedings of the 28th International Conference on Software Engineering}",
doi = "10.1145/1134308",
editor = "Leon J. Osterweil and Hans Dieter Rombach and Mary Lou Soffa",
isbn = "1-59593-375-1",
pages = "152--161",
publisher = "{ACM}",
title = "{Managing space for finite-state verification}",
year = 2006,
}