OpenNWA
From MaRDI portal
Software:44929
No author found.
Source code repository: https://github.com/WaliDev/WALi-OpenNWA
Related Items (3)
Ramsey-Based Inclusion Checking for Visibly Pushdown Automata ⋮ Model-checking structured context-free languages ⋮ Synchronizing Automata over Nested Words
This page was built for software: OpenNWA
