By Zuck Lenore   Attie Paul   Cortesi Agostino   in International Journal on Software Tools for Technology Transfer

ISSN:1433-2779|6|1|1-3

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 13.769505

By Fang Yi   Piterman Nir   Pnueli Amir   Zuck Lenore   in International Journal on Software Tools for Technology Transfer

ISSN:1433-2779|8|3|261-279

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 11.4745865

By Zuck Lenore   Pnueli Amir   Goldberg Benjamin   Barrett Clark   Fang Yi   Hu Ying   in Formal Methods in System Design

ISSN:0925-9856|27|3|335-360

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 9.179669