Quasi-optimal partial order reduction

Coti, Camille, Petrucci, Laure, Rodríguez, César and 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 : 4.

The full text of this document is not available here.

Item Type:	Peer reviewed article published in a journal
Professor:	Professor Coti, Camille
Affiliation:	Autres
Date Deposited:	09 May 2023 20:43
Last Modified:	09 May 2023 20:43
URI:	https://espace2.etsmtl.ca/id/eprint/26410

Actions (login required)

View Item