Structure-Aware Computation of Predicate Abstraction

Alessandro Cimatti, Jori Dubrovin, Tommi Junttila, Marco Roveri

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

13 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	The 9th International Conference on Formal Methods in Computer Aided Design (FMCAD'09)
Toimittajat	Armin Biere, Carl Pixley
Kustantaja	IEEE
Sivut	9-16
Tila	Julkaistu - 2009
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Muut tiedostot ja linkit

@inproceedings{c11d8f7e81e544a98c4e71d692686736,

title = "Structure-Aware Computation of Predicate Abstraction",

author = "Alessandro Cimatti and Jori Dubrovin and Tommi Junttila and Marco Roveri",

year = "2009",

language = "English",

pages = "9--16",

editor = "Armin Biere and Carl Pixley",

booktitle = "The 9th International Conference on Formal Methods in Computer Aided Design (FMCAD'09)",

publisher = "IEEE",

address = "United States",

}

Structure-Aware Computation of Predicate Abstraction. / Cimatti, Alessandro; Dubrovin, Jori; Junttila, Tommi et al.
The 9th International Conference on Formal Methods in Computer Aided Design (FMCAD'09). toim. / Armin Biere; Carl Pixley. IEEE, 2009. s. 9-16.

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

TY - GEN

T1 - Structure-Aware Computation of Predicate Abstraction

AU - Cimatti, Alessandro

AU - Dubrovin, Jori

AU - Junttila, Tommi

AU - Roveri, Marco

PY - 2009

Y1 - 2009

UR - http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=5351113&isYear=2009

M3 - Conference article in proceedings

SP - 9

EP - 16

BT - The 9th International Conference on Formal Methods in Computer Aided Design (FMCAD'09)

A2 - Biere, Armin

A2 - Pixley, Carl

PB - IEEE

ER -