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
Publication dans des actes
Fichier(s) déposé(s) par l'encodeur