Structure-Aware Computation of Predicate Abstraction

Reference:

Alessandro Cimatti, Jori Dubrovin, Tommi Junttila, and Marco Roveri. Structure-aware computation of predicate abstraction. In FMCAD 2009, pages 9–16. IEEE, 2009.

Suggested BibTeX entry:

@inproceedings{CimattiDubrovinJunttilaRoveri:FMCAD2009,
    author = {Alessandro Cimatti and Jori Dubrovin and Tommi Junttila and Marco Roveri},
    booktitle = {FMCAD 2009},
    pages = {9--16},
    publisher = {IEEE},
    title = {Structure-Aware Computation of Predicate Abstraction},
    year = {2009},
}