QAIS

Quantitative analysis of interacting systems: foundations and algorithms
FCT
Start Date: 
April, 2012
http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS

Team: Alexandra Martins da Silva and Luís Soares Barbosa