Alternating refinement relations (1998)

by Rajeev Alur , Thomas A. Henzinger , Orna Kupferman , Moshe Y. Vardi
Venue:In Proceedings of the Ninth International Conference on Concurrency Theory (CONCUR’98), volume 1466 of LNCS
Citations:160 - 20 self