@inproceedings{Broadbent:2009:GMC:1532848.1532860,
    Address = {Berlin, Heidelberg},
    Author = {Broadbent, Christopher and Ong, Luke},
    BookTitle = {Proc. of FOSSACS'09},
    File = {On Global Model Checking Trees Generated by Higher-Order Recursion Schemes - Broadbent, Ong (0) (0) - a - a - b.pdf},
    ISBN = {978-3-642-00595-4},
    Keywords = {higher-order model checking and higher-order recursion schemes},
    Location = {York, UK},
    Pages = {107--121},
    Publisher = {Springer-Verlag},
    Series = {LNCS},
    Title = {On Global Model Checking Trees Generated by Higher-Order Recursion Schemes},
    URL = {http://dx.doi.org/10.1007/978-3-642-00596-1\_9},
    Year = {2009},
    acmid = {1532860},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-00596-1\_9},
    date-added = {2012-03-06 11:46:40 +0100},
    date-modified = {2013-12-22 17:31:44 +0000},
    numpages = {15},
    doi = {10.1007/978-3-642-00596-1_9}
}

@inproceedings{Broadbent:2009:GMC:1532848.1532860, Address = {Berlin, Heidelberg}, Author = {Broadbent, Christopher and Ong, Luke}, BookTitle = {Proc. of FOSSACS'09}, File = {On Global Model Checking Trees Generated by Higher-Order Recursion Schemes - Broadbent, Ong (0) (0) - a - a - b.pdf}, ISBN = {978-3-642-00595-4}, Keywords = {higher-order model checking and higher-order recursion schemes}, Location = {York, UK}, Pages = {107--121}, Publisher = {Springer-Verlag}, Series = {LNCS}, Title = {On Global Model Checking Trees Generated by Higher-Order Recursion Schemes}, URL = {http://dx.doi.org/10.1007/978-3-642-00596-1_9}, Year = {2009}, acmid = {1532860}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-00596-1_9}, date-added = {2012-03-06 11:46:40 +0100}, date-modified = {2013-12-22 17:31:44 +0000}, numpages = {15}, doi = {10.1007/978-3-642-00596-1_9} }