The top documents of focas-initiative
FoCAS Newsletter Issue 4: August 2014
127 views
Advanced Systems Engineering
43 views
Quantified NTL
129 views
Temporal logics for multi-agent systems
151 views
FoCAS Newsletter Issue Five
160 views
FoCAS Newsletter Issue Six
86 views
The Liquid Computing Paradigm
118 views
FoCAS Newsletter Issue 3: May 2014
188 views