By Heitmeyer Constance   Talpin Jean-Pierre   in Formal Methods in System Design

ISSN:0925-9856|30|1|1-3

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 19.605572

By Talpin Jean-Pierre   Guernic Paul   in Formal Methods in System Design

ISSN:0925-9856|28|2|131-151

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 19.605572

By Talpin Jean-Pierre   Guernic Paul   Shukla Sandeep   Gupta Rajesh   in International Journal of Parallel Programming

ISSN:0885-7458|33|6|613-643

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 14.57712