RALib

swMATH16256MaRDI QIDQ28126FDOQ28126

Author name not available (Why is that?)

Cited In (2)

• Active learning for extended finite state machines
• A Myhill-Nerode theorem for register automata and symbolic trace languages

This page was built for software: RALib