Model checking for TCC calculus
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Rapport
Année : 2012
Jaime ARIAS : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04257266
Soumis le : mercredi 25 octobre 2023-04:44:24
Dernière modification le : vendredi 27 octobre 2023-03:41:00
Archivage à long terme le : vendredi 26 janvier 2024-18:10:05
Dates et versions
Identifiants
- HAL Id : hal-04257266 , version 1
Citer
Jaime Arias. Model checking for TCC calculus. Universidad Javeriana. 2012. ⟨hal-04257266⟩
Collections
83
Consultations
35
Téléchargements