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

Coti, Camille, Evangelista, Sami et 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..

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

Rechercher dans Google Scholar

URL Officielle: https://doi.org/10.1109/ICECCS2018.2018.00013

Type de document:	Compte rendu de conférence
Professeur:	Professeur Coti, Camille
Affiliation:	Autres
Date de dépôt:	09 mai 2023 20:10
Dernière modification:	09 mai 2023 20:10
URI:	https://espace2.etsmtl.ca/id/eprint/26385

Actions (Authentification requise)

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