@inproceedings{5970219,
    Author = {Kobayashi, N.},
    BookTitle = {Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on},
    File = {Higher-Order Model Checking From Theory to Practice - Kobayashi (0) (0) - a - a - l.pdf},
    ISSN = {1043-6871},
    Keywords = {model checking and higher-order pushdown automata},
    Month = {june},
    Pages = {219 -224},
    Title = {Higher-Order Model Checking: From Theory to Practice},
    Year = {2011},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2011.15},
    date-added = {2012-03-06 11:46:00 +0100},
    date-modified = {2012-03-06 10:46:17 +0000},
    doi = {10.1109/LICS.2011.15}
}

@inproceedings{5970219, Author = {Kobayashi, N.}, BookTitle = {Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on}, File = {Higher-Order Model Checking From Theory to Practice - Kobayashi (0) (0) - a - a - l.pdf}, ISSN = {1043-6871}, Keywords = {model checking and higher-order pushdown automata}, Month = {june}, Pages = {219 -224}, Title = {Higher-Order Model Checking: From Theory to Practice}, Year = {2011}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2011.15}, date-added = {2012-03-06 11:46:00 +0100}, date-modified = {2012-03-06 10:46:17 +0000}, doi = {10.1109/LICS.2011.15} }