Permutation Games for the Weakly Aconjunctive mu $\mu$-Calculus (bibtex)
by Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel
Reference:
Permutation Games for the Weakly Aconjunctive mu $\mu$-Calculus (Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel), In Proc. 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, (Dirk Beyer, Marieke Huisman, eds.), LNCS, vol. 10806, pp. 361–378, Springer, 2018.
Bibtex Entry:
@inproceedings{HausmannEA18,
  author    = {Daniel Hausmann and
               Lutz Schr{\"{o}}der and
               Hans{-}Peter Deifel},
  title     = {Permutation Games for the Weakly Aconjunctive mu {$\mu$}-Calculus},
  booktitle = {Proc. 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 
               TACAS 2018,},
  pages     = {361--378},
  url       = {https://doi.org/10.1007/978-3-319-89963-3_21},
  doi       = {10.1007/978-3-319-89963-3_21},
  editor    = {Dirk Beyer and
               Marieke Huisman},
  series    = {LNCS},
  volume    = {10806},
  publisher = {Springer},
  year      = {2018},
  }
Powered by bibtexbrowser