Go to the corresponding LIPIcs Volume Portal 
Fischer , Diana ; Grädel, Erich ; Kaiser, Lukasz
pdfformat: 

@InProceedings{fischer_et_al:LIPIcs:2008:1352, author = {Diana Fischer and Erich Gr{\"a}del and Lukasz Kaiser}, title = {{Model Checking Games for the Quantitative {$mu$}Calculus}}, booktitle = {25th International Symposium on Theoretical Aspects of Computer Science}, pages = {301312}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897064}, ISSN = {18688969}, year = {2008}, volume = {1}, editor = {Susanne Albers and Pascal Weil}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2008/1352}, URN = {urn:nbn:de:0030drops13525}, doi = {http://dx.doi.org/10.4230/LIPIcs.STACS.2008.1352}, annote = {Keywords: Games, logic, model checking, quantitative logics} }
Keywords:  Games, logic, model checking, quantitative logics  
Seminar:  25th International Symposium on Theoretical Aspects of Computer Science  
Issue Date:  2008  
Date of publication:  06.02.2008 