Testing equality of parametric semi-linear sets - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail (Working Paper) Année : 2023

Testing equality of parametric semi-linear sets

Engel Lefaucheux
Modeling and Verification of Distributed Algorithms and Systems

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
main.pdf (346.34 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Engel Lefaucheux  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-04172593

Soumis le : jeudi 27 juillet 2023-17:06:14

Dernière modification le : lundi 2 décembre 2024-17:46:02

Télécharger pour visualiser

Dates et versions

hal-04172593 , version 1 (27-07-2023)
hal-04172593 , version 2 (16-04-2024)

Licence

Paternité

Identifiants

  • HAL Id : hal-04172593 , version 1

Citer

Engel Lefaucheux. Testing equality of parametric semi-linear sets. 2023. ⟨hal-04172593v1⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
111 Consultations
76 Téléchargements

Partager

More