When are two Parametric Semi-linear Sets Equal? - Department of Formal methods Access content directly
Preprints, Working Papers, ... (Working Paper) Year : 2024

When are two Parametric Semi-linear Sets Equal?

Engel Lefaucheux
  • Function : Author
  • PersonId : 1267648
Modeling and Verification of Distributed Algorithms and Systems

Domains

Computer Science [cs]
Fichier principal
Vignette du fichier
main.pdf (473.52 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Engel Lefaucheux  : Connect in order to contact the contributor

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

Submitted on : Tuesday, April 16, 2024-5:35:17 PM

Last modification on : Wednesday, April 17, 2024-3:35:09 AM

Download

Dates and versions

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

Licence

Attribution

Identifiers

  • HAL Id : hal-04172593 , version 2

Cite

Engel Lefaucheux. When are two Parametric Semi-linear Sets Equal?. 2024. ⟨hal-04172593v2⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM ANR
54 View
41 Download

Share

Gmail Facebook X LinkedIn More