This GitLab instance reached the end of its service life. It won't be possible to create new users or projects.

Please read the deprecation notice for more information concerning the deprecation timeline

Visit migration.git.tu-berlin.de (internal network only) to import your old projects to the new GitLab platform 📥

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...