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 : 13.

The full text of this document is not available here.

Rechercher dans Google Scholar

Official URL: https://doi.org/10.1007/978-3-319-96142-2_22

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