haslab / QAIS

Quantitative Analysis of Interacting Systems

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

QAIS

Quantitative Analysis of Interacting Systems

About

Quantitative Analysis of Interacting Systems


Languages

Language:Haskell 77.8%Language:MATLAB 21.8%Language:M 0.4%