No. Title Author Year
1 The Ackermann Award 2013 Dawar, Anuj et al. 2013
2 Approximate Determinization of Quantitative Automata Boker, Udi et al. 2012
3 Determinizing Discounted-Sum Automata Boker, Udi et al. 2011
4 Generalized Mean-payoff and Energy Games Chatterjee, Krishnendu et al. 2010
5 Lazy Shape Analysis Beyer, Dirk et al. 2006
Current Page :
Number of result pages: 1
Number of documents: 5


DROPS-Home | Fulltext Search | Imprint Published by LZI