HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Other publications

TOURS (Testing On Reactive Unfolded Systems).

Hernan Ponce de Leon 1, 2 Stefan Schwoon 1, 2 Konstantinos Athanasiou 1, 2
1 LSV - Laboratoire Spécification et Vérification [Cachan]
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Document type :
Other publications
Complete list of metadata
https://hal.inria.fr/hal-01097360
Contributor : Hernan Ponce de Leon Connect in order to contact the contributor
Submitted on : Friday, December 19, 2014 - 3:14:25 PM
Last modification on : Thursday, January 20, 2022 - 4:12:11 PM

Identifiers

  • HAL Id : hal-01097360, version 1

Collections

CNRS | INRIA | ENS-CACHAN | INRIA2 | ENS-PARIS-SACLAY

Citation

Hernan Ponce de Leon, Stefan Schwoon, Konstantinos Athanasiou. TOURS (Testing On Reactive Unfolded Systems).. 2014. ⟨hal-01097360⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

76

 

Contact                    Legal Notice                    Personal Data