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:120 - 16 self