Permutation Games for the Weakly Aconjunctive mu µ-Calculus (bibtex)

by Daniel Hausmann, Lutz Schröder and Hans-Peter Deifel

Reference:

Daniel Hausmann, Lutz Schröder and Hans-Peter Deifel: Permutation Games for the Weakly Aconjunctive mu µ-Calculus, In Dirk Beyer, Marieke Huisman, eds.: Proc. 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018,, LNCS, vol. 10806, pp. 361–378, Springer, 2018.

Bibtex Entry:

@string{lncs="LNCS"}
@string{springer="Springer"}
@inproceedings{HausmannEA18,
  author    = {Daniel Hausmann and
               Lutz Schr{\"{o}}der and
               Hans{-}Peter Deifel},
  title     = {Permutation Games for the Weakly Aconjunctive 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},
  }