Metadata only
Datum
2011-05Typ
- Journal Article
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Zeitschrift / Serie
ACM Transactions on Computational LogicBand
Seiten / Artikelnummer
Verlag
Association for Computing MachineryThema
Algorithms; Design; Concurrency; abstraction; static analysis; monotone frameworks; over- and underapproximations; abstract interpretation; modal transition systems; labeled transition systems; process calculi; CCS; 3-valued logic; temporal logicETH Bibliographie
yes
Altmetrics