Autre Publication
Année : 2014
Hernan Ponce De Leon : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01097360
Soumis le : vendredi 19 décembre 2014-15:14:25
Dernière modification le : vendredi 24 mars 2023-14:53:00
Dates et versions
Identifiants
- HAL Id : hal-01097360 , version 1
Citer
Hernan Ponce de Leon, Stefan Schwoon, Konstantinos Athanasiou. TOURS (Testing On Reactive Unfolded Systems).. 2014. ⟨hal-01097360⟩
Collections
80
Consultations
0
Téléchargements