By Kesten Y.   Pnueli A.   in Information and Computation

ISSN:0890-5401|163|1|203-243

Academic Press‎(2000)‎

Access to resources Favorite 13.162828

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.8901215