Recherche - Archive ouverte HAL

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

		Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach Serenella Cerrito , Valentin Goranko , Sophie Paillocher 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Jul 2023, Rome, Italy. ⟨10.4230/LIPIcs.FSCD.2023.23⟩ Communication dans un congrès hal-04180680v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Model Synthesis from Partial Model with partial labelling Sophie Paillocher [Research Report] Université Paris-Saclay, Université d'Evry Val-d'Essonne. 2021, pp.35 Rapport hal-03284114v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats