Recherche - Aix-Marseille Université

2 résultats

	Pour les 2 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Symbolic protocol verification with dice Vincent Cheval , Raphaëlle Crubillé , Steve Kremer Journal of Computer Security, 2023, pp.1-38. ⟨10.3233/JCS-230037⟩ Article dans une revue hal-04179875v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Symbolic protocol verification with dice: process equivalences in the presence of probabilities (extended version) Vincent Cheval , Raphaëlle Crubillé , Steve Kremer 2023 Pré-publication, Document de travail hal-03683907v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More

Filtrer vos résultats