By Abdulla Parosh   Delzanno Giorgio   Rezine Ahmed   in Formal Methods in System Design

ISSN:0925-9856|34|2|126-156

Springer Publishing Company ‎(2009)‎

Access to resources Favorite 14.310568

By Abdulla Parosh Aziz   Iyer S. Purushothaman   Nylén Aletta   in Formal Methods in System Design

ISSN:0925-9856|24|1|25-43

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 11.925473

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 10.732925