By Chockler Hana   Kupferman Orna   Vardi Moshe   in Formal Methods in System Design

ISSN:0925-9856|28|3|189-212

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 11.870531

By Plaku Erion   Kavraki Lydia   Vardi Moshe   in Formal Methods in System Design

ISSN:0925-9856|34|2|157-182

Springer Publishing Company ‎(2009)‎

Access to resources Favorite 11.870531

By Kupferman Orna   Piterman Nir   Vardi Moshe   in Formal Methods in System Design

ISSN:0925-9856|34|2|83-103

Springer Publishing Company ‎(2009)‎

Access to resources Favorite 11.870531

By Chockler Hana   Kupferman Orna   Vardi Moshe   in International Journal on Software Tools for Technology Transfer

ISSN:1433-2779|8|4-5|373-386

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 11.870531

By Bryant Randal   Grumberg Orna   Sifakis Joseph   Vardi Moshe   in Formal Methods in System Design

ISSN:0925-9856|36|3|195-197

Springer Publishing Company ‎(2010)‎

Access to resources Favorite 9.892109

By Vakil Eli   Blachstein Haya   Rochberg Judith   Vardi Moshe   in Child Neuropsychology (Neuropsychology, Development and Cognition: Section C)

ISSN:0929-7049|10|2|57-66

Routledge Ltd‎(2004)‎

Access to resources Favorite 9.892109

By Blum Shany   Vardi Moshe   Brown Jonathan B   Russell Allen   Milman Uzi   Shapira Chen   Levy Nina S   Miller-Lotan Rachel   Asleh Rabea   Levy Andrew P   in Pharmacogenomics

ISSN:1462-2416|11|5|675-684

Future Medicine‎(2010)‎

Access to resources Favorite 5.9352655