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

State compression based on one-sided communications for distributed model checking

Coti, Camille, Evangelista, Sami and Petrucci, Laure. 2018. « State compression based on one-sided communications for distributed model checking ». In IEEE International Conference on Engineering of Complex Computer Systems, ICECCS (Melbourne, Australia, Dec. 12-14, 2018) pp. 41-50. Institute of Electrical and Electronics Engineers Inc..

The full text of this document is not available here.
Rechercher dans Google Scholar
Item Type: Conference proceeding
Professor:
Professor
Coti, Camille
Affiliation: Autres
Date Deposited: 09 May 2023 20:10
Last Modified: 09 May 2023 20:10
URI: https://espace2.etsmtl.ca/id/eprint/26385

Actions (login required)

View Item View Item