By Bouajjani A.   Habermehl P.   in Theoretical Computer Science

ISSN:0304-3975|221|1|211-250

Elsevier‎(1999)‎

Access to resources Favorite 11.452906

By Bouajjani A.   Habermehl P.   Mayr R.   in Theoretical Computer Science

ISSN:0304-3975|295|1|85-106

Elsevier‎(2003)‎

Access to resources Favorite 8.940102

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 2.3627474

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 1.4767171