@inproceedings{
    CimattiDubrovinJunttilaRoveri:FMCAD2009,
    author = "Cimatti, Alessandro and Dubrovin, Jori and Junttila, Tommi and Roveri, Marco",
    publisher = "IEEE",
    optmonth = "",
    optnumber = "",
    title = "Structure-Aware Computation of Predicate Abstraction",
    booktitle = "FMCAD 2009",
    optaddress = "",
    corerank = "NA",
    opteditor = "",
    opturl = "",
    optbooktitle = "Proceedings of the 9th International Conference on Formal Methods in Computer Aided Design (FMCAD'09)",
    flags = "copy DC",
    optorganization = "",
    year = "2009",
    optvolume = "",
    impactfactor = "D3",
    pages = "9--16",
    optseries = ""
}