%0 Conference Paper %1 conf/concur/HausmannSE16 %A Hausmann, Daniel %A Schröder, Lutz %A Egger, Christoph %B CONCUR %D 2016 %E Desharnais, Josée %E Jagadeesan, Radha %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 34:1-34:15 %T Global Caching for the Alternation-free μ-Calculus. %U http://dblp.uni-trier.de/db/conf/concur/concur2016.html#HausmannSE16 %V 59 %@ 978-3-95977-017-0

@inproceedings{conf/concur/HausmannSE16, added-at = {2023-06-26T00:00:00.000+0200}, author = {Hausmann, Daniel and Schröder, Lutz and Egger, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2ad2df1b2141a6b77564c89814c0349da/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2016}, editor = {Desharnais, Josée and Jagadeesan, Radha}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.34}, interhash = {6c58a0b668e5f026b8a39033e177bed9}, intrahash = {ad2df1b2141a6b77564c89814c0349da}, isbn = {978-3-95977-017-0}, keywords = {dblp}, pages = {34:1-34:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T13:06:25.000+0200}, title = {Global Caching for the Alternation-free μ-Calculus.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2016.html#HausmannSE16}, volume = 59, year = 2016 }