David Harel, Orna Kupferman, Moshe Y. Vardi. On the Complexity of Verifying Concurrent Transition Systems. Inf. Comput., 173(2):143-161, 2002. [doi]
@article{HarelKV02,
title = {On the Complexity of Verifying Concurrent Transition Systems},
author = {David Harel and Orna Kupferman and Moshe Y. Vardi},
year = {2002},
url = {http://www.idealibrary.com/links/doi/10.1006/inco.2001.2920},
researchr = {https://researchr.org/publication/HarelKV02},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {173},
number = {2},
pages = {143-161},
}