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

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

The full text of this document is not available here.
Rechercher dans Google Scholar
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 View Item