By Henzinger Thomas A.   Kupferman Orna   Qadeer Shaz   in Formal Methods in System Design

ISSN:0925-9856|23|3|303-327

Springer Publishing Company ‎(2003)‎

Access to resources Favorite 10.979696

By Chatterjee Krishnendu   Doyen Laurent   Henzinger Thomas   in Formal Methods in System Design

ISSN:0925-9856|43|2|268-284

Springer Publishing Company ‎(2013)‎

Access to resources Favorite 10.979696

By Henzinger Thomas A.   Ho Pei-Hsin   Wong-Toi Howard   in International Journal on Software Tools for Technology Transfer

ISSN:1433-2779|1|1-2|110-122

Springer Publishing Company ‎(1997)‎

Access to resources Favorite 8.230834