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

First Page		Document Content
Date: 2014-11-05 08:01:04		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 Source URL: cubicle.lri.fr Download Document from Source Website File Size: 2,02 MB Share Document on Facebook