Structure-Aware Computation of Predicate Abstraction

Publiceringsår

2009

Upphovspersoner

Cimatti, Alessandro; Dubrovin, Jori; Junttila, Tommi; Roveri, Marco

Organisationer och upphovspersoner

Aalto-universitetet

Junttila Tommi

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Moderpublikationens namn

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

Förläggare

IEEE

Sidor

9-16

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej