| LICS Archive |
|---|
| All Conferences |
| Committees |
| Invited Speakers |
| Papers by Author |
| Test-of-Time Award Winners |
| Kleene Award Winners |
No Abstract Available
@InProceedings{KobayashiLi-AutomataBasedAbstra,
author = {Naoki Kobayashi and Xin Li},
title = {Automata-Based Abstraction Refinement for μHORS Model Checking},
booktitle = {Proceedings of the Thirtieth Annual IEEE Symposium on Logic in Computer Science (LICS 2015)},
year = {2015},
month = {July},
pages = {713--724},
location = {Kyoto, Japan},
publisher = {IEEE Computer Society Press}
}