Efficient Bounded Reachability Through Iterative Strengthening

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},
}