Résultats de recherche auteurs

1

Image de couverture de livre

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings /

Publié 2013

Autres auteurs: “...Abdulla, Parosh Aziz....”
Accéder au texte intégral

Électronique eBook

2

Image de couverture de livre

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of...

Publié 2011

Autres auteurs: “...Abdulla, Parosh Aziz....”
Accéder au texte intégral

Électronique eBook