Global Caching for the Flat Coalgebraic µ-Calculus (bibtex)

Reference:

Daniel Hausmann and Lutz Schröder: Global Caching for the Flat Coalgebraic µ-Calculus, In Proc. 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, pp. 121–130, IEEE Comp. Soc., 2015.

Bibtex Entry:

@inproceedings{HausmannSchroder15,
  title = {Global Caching for the Flat Coalgebraic
  µ-Calculus},
  author = {Daniel Hausmann and Lutz Schr\"oder},
  booktitle = {Proc. 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015},
  publisher = {IEEE Comp. Soc.},
  pages     = {121--130},
  url = {http://www8.cs.fau.de/ext/papers/flatfix-gc.pdf},
  year = {2015},
}