Identifiant pérenne de la notice : 18155559X
Notice de type
Personne
Improving the model checking of stutter-invariant LTL properties / par Ben Salem Ala
Eddine, 25/09/2014
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