Identifiant pérenne de la notice : 076435350
Notice de type
Personne
Tools and Algorithms for the Construction and Analysis of systems : 9th International
Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and
Practice of Software, ETAPS 2003, Warsaw, Poland, april 2003 : proceedings / Ed. by
Hubert Garavel, John Hatcliff, Springer, 2003
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial