Quasi-optimal partial order reduction

Nguyen, Huyen T. T., Rodríguez, César, Sousa, Marcelo, Coti, Camille et 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.

Le plein texte de ce document n'est pas hébergé sur ce serveur.

Rechercher dans Google Scholar

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

Type de document:	Compte rendu de conférence
Professeur:	Professeur Coti, Camille
Affiliation:	Autres
Date de dépôt:	09 mai 2023 19:59
Dernière modification:	09 mai 2023 19:59
URI:	https://espace2.etsmtl.ca/id/eprint/26402

Actions (Authentification requise)

Dernière vérification avant le dépôt