Model checking for TCC calculus - Archive ouverte HAL
Rapport Année : 2012

Model checking for TCC calculus

Fichier principal
Vignette du fichier
thesis_2013.pdf (2.17 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04257266 , version 1 (25-10-2023)

Identifiants

  • HAL Id : hal-04257266 , version 1

Citer

Jaime Arias. Model checking for TCC calculus. Universidad Javeriana. 2012. ⟨hal-04257266⟩
79 Consultations
34 Téléchargements

Partager

More