Skip to content
GitLab
Explore
Sign in
Michele Volpato
Alnos
Repository
alnos
helpers
bisimulation.py
Find file
Blame
History
Permalink
added checks for validity in suspension automata
· 10c93c59
Michele
authored
Oct 01, 2015
10c93c59