@inproceedings{7174925,
    Author = {Kobayashi, N. and Li, Xin},
    BookTitle = {Proc. of LICS'15},
    File = {Automata-Based Abstraction Refinement for \#x00B5;HORS Model Checking - Kobayashi, Li (0) (0) - a - a - b.pdf},
    ISSN = {1043-6871},
    Month = {July},
    Pages = {713--724},
    Title = {Automata-Based Abstraction Refinement for muHORS Model Checking},
    Year = {2015},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2015.71},
    date-added = {2016-01-12 10:47:39 +0000},
    date-modified = {2017-01-03 09:37:29 +0000},
    doi = {10.1109/LICS.2015.71}
}

@inproceedings{7174925, Author = {Kobayashi, N. and Li, Xin}, BookTitle = {Proc. of LICS'15}, File = {Automata-Based Abstraction Refinement for #x00B5;HORS Model Checking - Kobayashi, Li (0) (0) - a - a - b.pdf}, ISSN = {1043-6871}, Month = {July}, Pages = {713--724}, Title = {Automata-Based Abstraction Refinement for muHORS Model Checking}, Year = {2015}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2015.71}, date-added = {2016-01-12 10:47:39 +0000}, date-modified = {2017-01-03 09:37:29 +0000}, doi = {10.1109/LICS.2015.71} }