Kazuhiro Ogata, Min Zhang 0002. A Divide and Conquer Approach to Model Checking of Liveness Properties. In 37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013. pages 648-657, IEEE Computer Society, 2013. [doi]
@inproceedings{Ogata013,
title = {A Divide and Conquer Approach to Model Checking of Liveness Properties},
author = {Kazuhiro Ogata and Min Zhang 0002},
year = {2013},
doi = {10.1109/COMPSAC.2013.104},
url = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2013.104},
researchr = {https://researchr.org/publication/Ogata013},
cites = {0},
citedby = {0},
pages = {648-657},
booktitle = {37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4986-6},
}