OpenNWA

swMATH33220MaRDI QIDQ44929FDOQ44929

Author name not available (Why is that?)

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

Cited In (3)

• Model-checking structured context-free languages
• Synchronizing Automata over Nested Words
• Ramsey-Based Inclusion Checking for Visibly Pushdown Automata

This page was built for software: OpenNWA