Reference:
Toni Jussila. Efficient bounded reachability through iterative strengthening. In Concurrency, Specification and Programming CS&P'2004, 2004.
Suggested BibTeX entry:
@inproceedings{ttj:iteratc, author = {Toni Jussila}, booktitle = {Concurrency, Specification and Programming CS\&P'2004}, title = {Efficient Bounded Reachability Through Iterative Strengthening}, year = {2004}, }