OpenNWA

swMATH33220MaRDI QIDQ44929FDOQ44929

Author name not available (Why is that?)

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)

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

This page was built for software: OpenNWA