%0 Conference Paper %1 conf/micai/BarcenasBL15 %A Bárcenas, Everardo %A Benítez-Guerrero, Edgard %A Lavalle, Jesús %B MICAI (1) %D 2015 %E Sidorov, Grigori %E Galicia-Haro, Sofía N. %I Springer %K dblp %P 178-189 %T On the Model Checking of the Graded μ-calculus on Trees. %U http://dblp.uni-trier.de/db/conf/micai/micai2015-1.html#BarcenasBL15 %V 9413 %@ 978-3-319-27059-3

@inproceedings{conf/micai/BarcenasBL15, added-at = {2022-01-03T00:00:00.000+0100}, author = {Bárcenas, Everardo and Benítez-Guerrero, Edgard and Lavalle, Jesús}, biburl = {https://www.bibsonomy.org/bibtex/2feff6743cc4ee02960561b17f65dbc49/dblp}, booktitle = {MICAI (1)}, crossref = {conf/micai/2015-1}, editor = {Sidorov, Grigori and Galicia-Haro, Sofía N.}, ee = {https://doi.org/10.1007/978-3-319-27060-9_14}, interhash = {32fac48b79b90a6fcf22ba6cb7a3e96e}, intrahash = {feff6743cc4ee02960561b17f65dbc49}, isbn = {978-3-319-27059-3}, keywords = {dblp}, pages = {178-189}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T21:11:22.000+0200}, title = {On the Model Checking of the Graded μ-calculus on Trees.}, url = {http://dblp.uni-trier.de/db/conf/micai/micai2015-1.html#BarcenasBL15}, volume = 9413, year = 2015 }