FRANÇAIS
A showcase of ÉTS researchers’ publications and other contributions
SEARCH

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
Professor:
Professor
Coti, Camille
Affiliation: Autres
Date Deposited: 09 May 2023 19:59
Last Modified: 09 May 2023 19:59
URI: https://espace2.etsmtl.ca/id/eprint/26402

Actions (login required)

View Item View Item