Global Caching for the Flat Coalgebraic mu-Calculus (bibtex)
by Daniel Hausmann and Lutz Schröder
Reference:
Daniel Hausmann and Lutz Schröder: Global Caching for the Flat Coalgebraic mu-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
  mu-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/_media/research:papers:flatfix-gc.pdf},
  year = {2015},
}
Powered by bibtexbrowser