On the complexity of verifying concurrent transition systems (1997)

by D Harel, O Kupferman, M Y Vardi
Venue:In Proc. 8th Int’l Conf. on Concurrency Theory, LNCS 1243, 258–272