C

coupled-similarity

Tools for the computation of the coupled simulation behavioral preorder.

Forked from benkeks / coupled-similarity

Name Last update
code Loading commit data...
isabelle Loading commit data...
thesis Loading commit data...
.gitignore Loading commit data...
bisping_computingCoupledSimilarity_thesis.pdf Loading commit data...