By Kesten Yonit   Pnueli Amir   Raviv Li-On   Shahar Elad   in Formal Methods in System Design

ISSN:0925-9856|28|1|57-84

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 10.4840355

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 10.4840355

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 8.387228