By Bouajjani Ahmed   Emmi Michael   in International Journal on Software Tools for Technology Transfer

ISSN:1433-2779|16|2|127-146

Springer Publishing Company ‎(2014)‎

Access to resources Favorite 16.52573

By Abdulla Parosh Aziz   Collomb-Annichini Aurore   Bouajjani Ahmed   Jonsson Bengt   in Formal Methods in System Design

ISSN:0925-9856|25|1|39-65

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 9.295549