By Tripakis S.   Yovine S.   in Electronic Notes in Theoretical Computer Science

ISSN:1571-0661|55|2|1-10

Elsevier‎(2004)‎

Access to resources Favorite 12.320415

By Kesten Y.   Pnueli A.   Sifakis J.   Yovine S.   in Information and Computation

ISSN:0890-5401|150|2|209-243

Academic Press‎(1999)‎

Access to resources Favorite 7.9249926