By Kupferman O.   Grumberg O.   in Information and Computation

ISSN:0890-5401|125|1|62-69

Academic Press‎(1996)‎

Access to resources Favorite 12.176781

By Kupferman O.   Vardi M.Y.   Wolper P.   in Information and Computation

ISSN:0890-5401|164|2|322-344

Academic Press‎(2001)‎

Access to resources Favorite 9.581372

By Henzinger T.A.   Kupferman O.   Rajamani S.K.   in Information and Computation

ISSN:0890-5401|173|1|64-81

Academic Press‎(2002)‎

Access to resources Favorite 9.581372

By Harel D.   Kupferman O.   Vardi M.Y.   in Information and Computation

ISSN:0890-5401|173|2|143-161

Academic Press‎(2002)‎

Access to resources Favorite 9.581372