By Siminiceanu Radu   Ciardo Gianfranco   in International Journal on Software Tools for Technology Transfer

ISSN:1433-2779|9|1|63-76

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 17.241138

By Ciardo Gianfranco   Lüttgen Gerald   Miner Andrew   in Formal Methods in System Design

ISSN:0925-9856|31|1|63-100

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 12.930855

By Zheng Hong   Niu Yugang   Ciardo Gianfranco   in International Journal of Systems Science

ISSN:1464-5319|42|9|1573-1580

Taylor & Francis Ltd‎(2011)‎

Access to resources Favorite 12.930855