By Bornot S.   Sifakis J.   in Information and Computation

ISSN:0890-5401|163|1|172-202

Academic Press‎(2000)‎

Access to resources Favorite 10.629755

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 6.8392687