LTL_to_GBA

MaRDI QIDQ40959swMATHFDO

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