Other Publications
Year : 2014
Hernan Ponce De Leon : Connect in order to contact the contributor
https://inria.hal.science/hal-01097360
Submitted on : Friday, December 19, 2014-3:14:25 PM
Last modification on : Friday, March 24, 2023-2:53:00 PM
Dates and versions
Identifiers
- HAL Id : hal-01097360 , version 1
Cite
Hernan Ponce de Leon, Stefan Schwoon, Konstantinos Athanasiou. TOURS (Testing On Reactive Unfolded Systems).. 2014. ⟨hal-01097360⟩
Collections
79
View
0
Download