Model checking for TCC calculus - Archive ouverte HAL Access content directly
Reports Year : 2012

Model checking for TCC calculus

Fichier principal
Vignette du fichier
thesis_2013.pdf (2.17 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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


  • HAL Id : hal-04257266 , version 1


Jaime Arias. Model checking for TCC calculus. Universidad Javeriana. 2012. ⟨hal-04257266⟩
2 View
3 Download


Gmail Facebook X LinkedIn More