Back to Results
First PageMeta Content



Inférence d’invariants pour le model checking de systèmes paramétrés Alain Mebsout LRI, Université Paris-Sud Soutenance de thèse
Add to Reading List

Document Date: 2014-11-05 08:01:04


Open Document

File Size: 2,02 MB

Share Result on Facebook
UPDATE