Volume 36, Number 1, February 2010
Volume 36, Number 2, June 2010 Special Section on 'Analogue Verification'
Volume 36, Number 3, September 2010
Last update Wed May 22 17:35:59 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page
- Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi:
2009 CAV award announcement.
- Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier:
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications.
- Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening:
Context-aware counter abstraction.
- Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A game-based abstraction-refinement framework for Markov decision processes.