Model checking for TCC calculus
| Origin | Files produced by the author(s) |
|---|
Reports
Year : 2012
Jaime ARIAS : Connect in order to contact the contributor
https://hal.science/hal-04257266
Submitted on : Wednesday, October 25, 2023-4:44:24 AM
Last modification on : Friday, October 27, 2023-3:41:00 AM
Long-term archiving on: Friday, January 26, 2024-6:10:05 PM
Dates and versions
Identifiers
- HAL Id : hal-04257266 , version 1
Cite
Jaime Arias. Model checking for TCC calculus. Universidad Javeriana. 2012. ⟨hal-04257266⟩
Collections
55
View
23
Download