OpenNWA

MaRDI QIDQ44929swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-642-31424-7_47

Source code repository https://github.com/WaliDev/WALi-OpenNWA

Cited in

(4)

• Synchronizing automata over nested words
• Model-checking structured context-free languages
• VPAlib
• Ramsey-based inclusion checking for visibly pushdown automata

This page was built for software: OpenNWA