RALib

swMATH16256MaRDI QIDQ28126FDOQ28126

Author name not available (Why is that?)

Official website: https://bitbucket.org/learnlib/ralib/

Cited In (12)

• AALpy
• Active learning for extended finite state machines
• A Myhill-Nerode theorem for register automata and symbolic trace languages
• XMPP
• libalf
• LearnLib
• Simulink Coder
• MuACOsm
• Sigma*
• IDP3
• KERNELC
• DeepLog

This page was built for software: RALib