@inproceedings{7174863,
    Author = {{Ong}, L.},
    BookTitle = {2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science},
    File = {LICS15 (0) (0) - a - a - p.pdf},
    ISSN = {1043-6871},
    Keywords = {automata theory;formal verification;functional languages;program control structures;trees (mathematics);Erlang programming language;F\# programming language;Haskell programming language;computation trees;formal analysis;automata-theoretic characterisations;recursion schemes;higher-order model checking;Model checking;Automata;Safety;Grammar;Generators;Handheld computers;Semantics;Program Verification;Model Checking;Recursion Schemes;Lambda Calculus;Functional Programs},
    Month = {July},
    Pages = {1-15},
    Title = {Higher-Order Model Checking: An Overview},
    Year = {2015},
    bdsk-url-1 = {https://doi.org/10.1109/LICS.2015.9},
    date-added = {2019-05-02 11:40:29 +0200},
    date-modified = {2019-05-02 11:40:29 +0200},
    doi = {10.1109/LICS.2015.9}
}

@inproceedings{7174863, Author = {{Ong}, L.}, BookTitle = {2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science}, File = {LICS15 (0) (0) - a - a - p.pdf}, ISSN = {1043-6871}, Keywords = {automata theory;formal verification;functional languages;program control structures;trees (mathematics);Erlang programming language;F# programming language;Haskell programming language;computation trees;formal analysis;automata-theoretic characterisations;recursion schemes;higher-order model checking;Model checking;Automata;Safety;Grammar;Generators;Handheld computers;Semantics;Program Verification;Model Checking;Recursion Schemes;Lambda Calculus;Functional Programs}, Month = {July}, Pages = {1-15}, Title = {Higher-Order Model Checking: An Overview}, Year = {2015}, bdsk-url-1 = {https://doi.org/10.1109/LICS.2015.9}, date-added = {2019-05-02 11:40:29 +0200}, date-modified = {2019-05-02 11:40:29 +0200}, doi = {10.1109/LICS.2015.9} }