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 12.420078

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 9.553974