Renault, Etienne, 1987-....
VIAF ID: 314923841 ( Personal )
Permalink: http://viaf.org/viaf/314923841
Preferred Forms
Works
Title | Sources |
---|---|
Contribution aux tests de vacuité pour le model checking explicite |
Title | Sources |
---|---|
Contribution aux tests de vacuité pour le model checking explicite |