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..
Compte des citations dans Scopus : 1.

The full text of this document is not available here.

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