Metadata only
Datum
2007-02Typ
- Journal Article
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Zeitschrift / Serie
Formal Methods in System DesignBand
Seiten / Artikelnummer
Verlag
SpringerThema
Verification; System level design; Predicate abstractionAnmerkungen
Published online 31 August 2006.ETH Bibliographie
yes
Altmetrics