par Brenguier, Romain 
Référence Proceedings of the 23th International Conference on Computer Aided Verification (CAV'13), Springer, Vol. 8044, page (890-895)
Publication Publié, 2013-07
Référence Proceedings of the 23th International Conference on Computer Aided Verification (CAV'13), Springer, Vol. 8044, page (890-895)
Publication Publié, 2013-07
Publication dans des actes
| Titre: |
|
| Auteur: | Brenguier, Romain |
| Informations sur la publication: | Proceedings of the 23th International Conference on Computer Aided Verification (CAV'13), Springer, Vol. 8044, page (890-895) |
| Statut de publication: | Publié, 2013-07 |
| series: | Lecture Notes in Computer Science |
| Sujet CREF: | Informatique générale |
| Langue: | Anglais |
| Identificateurs: | info:doi/10.1007/978-3-642-39799-8_63 |
| http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/RB-cav13.pdf |
