Go to the corresponding LIPIcs Volume Portal 
Hausmann, Daniel ; SchrÃ¶der, Lutz
pdfformat: 

@InProceedings{hausmann_et_al:LIPIcs:2019:10937, author = {Daniel Hausmann and Lutz Schr{\"o}der}, title = {{GameBased Local Model Checking for the Coalgebraic muCalculus}}, booktitle = {30th International Conference on Concurrency Theory (CONCUR 2019)}, pages = {35:135:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959771214}, ISSN = {18688969}, year = {2019}, volume = {140}, editor = {Wan Fokkink and Rob van Glabbeek}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10937}, URN = {urn:nbn:de:0030drops109373}, doi = {10.4230/LIPIcs.CONCUR.2019.35}, annote = {Keywords: Model checking, mucalculus, coalgebraic logic, graded mucalculus, probabilistic mucalculus, parity games} }
Keywords:  Model checking, mucalculus, coalgebraic logic, graded mucalculus, probabilistic mucalculus, parity games  
Collection:  30th International Conference on Concurrency Theory (CONCUR 2019)  
Issue Date:  2019  
Date of publication:  20.08.2019 