![](https://www.pdfsearch.io/img/70f618b348e478d710e8ded6b750dc0c.jpg) Date: 2015-06-25 16:48:44
| | A framework for proof certificates in finite state exploration Quentin Heath and Dale Miller Inria Saclay–ˆIle-de-France ´ LIX, EcoleAdd to Reading ListSource URL: www.lix.polytechnique.frDownload Document from Source Website File Size: 213,80 KBShare Document on Facebook
|