CITI - Centro de Informática e Tecnologias da Informação

Research Output

Filter
Commissioned report
2010

Evaluating Accessible Synchronous CMC Applications

Romão, T. I. L., 1 Jan 2010, Unknown Publisher.

Research output: Book/ReportCommissioned report

2009

The Spatial Logic Model Checker User's Manual v1.15

Caires, L. M. M. D. C., 1 Jan 2009, Unknown Publisher.

Research output: Book/ReportCommissioned report