Model checking for TCC calculus

No Thumbnail Available
Date
2012
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Pontificia Universidad Javeriana de Cali
Abstract
Description
Keywords
Citation
URI
https://vitela.javerianacali.edu.co/handle/11522/1338
Collections
Ingeniería de Sistemas y la Computación Documentos Ocultos