Result: Model checking for TCC calculus

Title:
Model checking for TCC calculus
Authors:
Arias, Jaime
Contributors:
Laboratoire d'Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, Pontificia Universidad Javeriana (PUJ), REACT+ Project, Universidad Javeriana
Source:
https://hal.science/hal-04257266 ; Universidad Javeriana. 2012.
Publisher Information:
CCSD
Publication Year:
2012
Collection:
Université Paris 13: HAL
Subject Terms:
Formal verification, Model checking, temporal concurrent constraint programming, [INFO]Computer Science [cs]
Document Type:
Report report
Language:
English
Availability:
https://hal.science/hal-04257266
https://hal.science/hal-04257266v1/document
https://hal.science/hal-04257266v1/file/thesis_2013.pdf
Rights:
info:eu-repo/semantics/OpenAccess
Accession Number:
edsbas.CAA3A393
Database:
BASE