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 <>
Submitted on : Friday, December 19, 2014 - 3:14:25 PM
Last modification on : Monday, February 15, 2021 - 10:48:17 AM

Identifiers

  • HAL Id : hal-01097360, version 1

Collections

CNRS | INRIA | ENS-CACHAN | 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

Share

Metrics

Record views

212

 

Contact                    Legal Notice                    Personal Data