Model checking for TCC calculus

No Thumbnail Available
Date
2012
Authors
Director
Journal Title
Journal ISSN
Volume Title
Publisher
Pontificia Universidad Javeriana de Cali
Abstract
Description
item.page.descriptioneng
Keywords
Citation
URI
http://hdl.handle.net/11522/1338
Collections