By Alur R.   Henzinger T.A.   in Information and Computation

ISSN:0890-5401|164|2|233-233

Academic Press‎(2001)‎

Access to resources Favorite 16.67572

By Henzinger T.A.   Kopke P.W.   in Theoretical Computer Science

ISSN:0304-3975|221|1|369-392

Elsevier‎(1999)‎

Access to resources Favorite 15.302753

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 12.981123

By Alur R.   Fix L.   Henzinger T.A.   in Theoretical Computer Science

ISSN:0304-3975|211|1|253-273

Elsevier‎(1999)‎

Access to resources Favorite 12.981123

By Schobbens P.-Y.   Raskin J.-F.   Henzinger T.A.   in Theoretical Computer Science

ISSN:0304-3975|274|1|151-182

Elsevier‎(2002)‎

Access to resources Favorite 10.659491