LTL_to_GBA

swMATH29245MaRDI QIDQ40959FDOQ40959

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/LTL_to_GBA.html

Cited In (4)

• CAVA Automata Library
• Real_Impl
• Tree Automata
• Automatic refinement to efficient data structures: a comparison of two approaches

This page was built for software: LTL_to_GBA