LTL_to_GBA

MaRDI QIDQ40959swMATHFDO

Authors Alexander Schimpf, Peter Lammich

Publication date 28 May 2014

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

Cited in

(4)

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

This page was built for software: LTL_to_GBA