Skip to content
GitLab
Explore
Sign in
Algorithms Library Toolkit
Algorithms Library Toolkit Core
Repository
automata-library
examples2
automaton
NFTA_fab_faa.xml
Find file
Blame
History
Permalink
backward bisimulation and forward bisimulation by definition
· 302a4980
Jan Travnicek
authored
Oct 02, 2019
and
Jan Trávníček
committed
Nov 13, 2019
302a4980