%0 Conference Paper %1 conf/lics/Ong15 %A Ong, Luke %B LICS %D 2015 %I IEEE Computer Society %K dblp %P 1-15 %T Higher-Order Model Checking: An Overview. %U http://dblp.uni-trier.de/db/conf/lics/lics2015.html#Ong15 %@ 978-1-4799-8875-4

@inproceedings{conf/lics/Ong15, added-at = {2023-03-24T00:00:00.000+0100}, author = {Ong, Luke}, biburl = {https://www.bibsonomy.org/bibtex/24c72f6248a6d0f2876a65d92a907b3bc/dblp}, booktitle = {LICS}, crossref = {conf/lics/2015}, ee = {http://dl.acm.org/citation.cfm?id=2876515}, interhash = {321564a38d5b599202bb3ccd0cfdd64e}, intrahash = {4c72f6248a6d0f2876a65d92a907b3bc}, isbn = {978-1-4799-8875-4}, keywords = {dblp}, pages = {1-15}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:03:41.000+0200}, title = {Higher-Order Model Checking: An Overview.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2015.html#Ong15}, year = 2015 }