L

libvata-tree-congr

Project information

An extension of libvata using bisimulation up-to congruence to check language inclusion of tree automata

Created on

March 05, 2018

All
Wiki
Team

Loading