Benoît Parreaux

Vérification de systèmes d'événements B par model-checking PLTL : contribution à la réduction de l'explosion combinatoire en utilisant de la résolution de contraintes ensemblistes

Benoît Parreaux, B. Parreaux, 2000 .