Quasi-optimal partial order reduction

Coti, Camille, Petrucci, Laure, Rodríguez, César et Sousa, Marcelo. 2021. « Quasi-optimal partial order reduction ». Formal Methods in System Design, vol. 57, nº 1. pp. 3-33.
Compte des citations dans Scopus : 3.

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

Type de document:	Article publié dans une revue, révisé par les pairs
Professeur:	Professeur Coti, Camille
Affiliation:	Autres
Date de dépôt:	09 mai 2023 20:43
Dernière modification:	09 mai 2023 20:43
URI:	https://espace2.etsmtl.ca/id/eprint/26410

Actions (Authentification requise)

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