No. Title Author Year
1 Game-Based Local Model Checking for the Coalgebraic mu-Calculus Hausmann, Daniel et al. 2019
2 Global Caching for the Alternation-free -Calculus Hausmann, Daniel et al. 2016
Current Page :
Number of result pages: 1
Number of documents: 2


DROPS-Home | Imprint | Privacy Published by LZI