Incremental Construction of Coverability Graphs

Reference

Barbara König and Vitali Kozioura. Incremental construction of coverability graphs. Information Processing Letters, 103(5):203–209, 2007.

Suggested BibTeX entry:

@article{KK07,
    author = {Barbara K\"{o}nig and Vitali Kozioura},
    journal = {Information Processing Letters},
    number = {5},
    pages = {203--209},
    title = {Incremental Construction of Coverability Graphs},
    volume = {103},
    year = {2007}
}

This work is not available online here.