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èseAdd to Reading ListSource URL: cubicle.lri.frDownload Document from Source WebsiteFile Size: 2,02 MBShare Document on Facebook |