![](https://www.pdfsearch.io/img/ab6ef6de87ae0432d6717680066fab94.jpg) Date: 2017-07-21 11:03:15
| | 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: mebsout.github.ioDownload Document from Source Website File Size: 2,02 MBShare Document on Facebook
|