Reference:
Timo Latvala. Efficient model checking of safety properties. In T. Ball and S. Rajamani, editors, Model Checking Software. 10th International SPIN Workshop, pages 74–88. Springer, 2003.
Suggested BibTeX entry:
@inproceedings{Lat03a,
author = {Timo Latvala},
booktitle = {Model Checking Software. 10th International SPIN Workshop},
editor = {T. Ball and S. Rajamani},
pages = {74--88},
publisher = {Springer},
title = {Efficient Model Checking of Safety Properties},
year = {2003},
}
|