Metadata only
Date
2011-05Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Journal / series
ACM Transactions on Computational LogicVolume
Pages / Article No.
Publisher
Association for Computing MachinerySubject
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 logicMore
Show all metadata
ETH Bibliography
yes
Altmetrics