%0 Conference Paper %1 conf/csl/TsukadaO14 %A Tsukada, Takeshi %A Ong, C.-H. Luke %B CSL-LICS %D 2014 %E Henzinger, Thomas A. %E Miller, Dale %I ACM %K dblp %P 78:1-78:10 %T Compositional higher-order model checking via ω-regular games over Böhm trees. %U http://dblp.uni-trier.de/db/conf/csl/csl2014.html#TsukadaO14 %@ 978-1-4503-2886-9

@inproceedings{conf/csl/TsukadaO14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Tsukada, Takeshi and Ong, C.-H. Luke}, biburl = {https://www.bibsonomy.org/bibtex/2df9407b8422081e4cc64ce3a685a2436/dblp}, booktitle = {CSL-LICS}, crossref = {conf/csl/2014}, editor = {Henzinger, Thomas A. and Miller, Dale}, ee = {https://doi.org/10.1145/2603088.2603133}, interhash = {0d65debe2762fdd6e9de43dca604b477}, intrahash = {df9407b8422081e4cc64ce3a685a2436}, isbn = {978-1-4503-2886-9}, keywords = {dblp}, pages = {78:1-78:10}, publisher = {ACM}, timestamp = {2018-11-07T15:08:36.000+0100}, title = {Compositional higher-order model checking via ω-regular games over Böhm trees.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2014.html#TsukadaO14}, year = 2014 }