A showcase of ÉTS researchers’ publications and other contributions

Quasi-optimal partial order reduction

Nguyen, Huyen T. T., Rodríguez, César, Sousa, Marcelo, Coti, Camille and Petrucci, Laure. 2018. « Quasi-optimal partial order reduction ». In Computer Aided Verification : 30th International Conference, CAV (Oxford, United Kingdom, July 14-17, 2018) Coll. « Lecture Notes in Computer Science », vol. 10982. pp. 354-371. Springer.
Compte des citations dans Scopus : 12.

The full text of this document is not available here.
Rechercher dans Google Scholar
Item Type: Conference proceeding
Coti, Camille
Affiliation: Autres
Date Deposited: 09 May 2023 19:59
Last Modified: 09 May 2023 19:59

Actions (login required)

View Item View Item