By Yorav Karen   Grumberg Orna   in Formal Methods in System Design

ISSN:0925-9856|25|1|67-96

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 18.42404

By Barner Sharon   Grumberg Orna   in Formal Methods in System Design

ISSN:0925-9856|27|1-2|29-66

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 18.42404

By Grumberg Orna   Katz Shmuel   in International Journal on Software Tools for Technology Transfer

ISSN:1433-2779|9|2|119-132

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 18.42404

By Grumberg Orna   Heyman Tamir   Schuster Assaf   in Formal Methods in System Design

ISSN:0925-9856|29|2|157-175

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 13.818029

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 11.515025

By Campos Sérgio   Grumberg Orna   Yorav Karen   Fady Copty   in International Journal on Software Tools for Technology Transfer

ISSN:1433-2779|6|2|174-182

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 11.515025