Acacia+, a Tool for LTL Synthesis
Résumé
no abstract
Communication Dans Un Congrès
Année : 2012
Julien Tesson : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01196263
Soumis le : mercredi 9 septembre 2015-14:31:04
Dernière modification le : mardi 19 octobre 2021-12:55:37
Citer
Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Naiyong Jin, Jean-François Raskin. Acacia+, a Tool for LTL Synthesis. Computer Aided Verification (CAV), 2012, Unknown, Unknown Region. pp.652-657, ⟨10.1007/978-3-642-31424-7_45⟩. ⟨hal-01196263⟩
18
Consultations
0
Téléchargements