chapter AFP
session LTL_to_DRA = LTL +
options [timeout = 600]
sessions
"List-Index"
Boolean_Expression_Checkers
KBPs
directories
"Auxiliary"
"Impl"
theories
LTL_Rabin
LTL_Rabin_Unfold_Opt
"Impl/Export_Code"
document_files
"root.tex"
"root.bib"
¤ Dauer der Verarbeitung: 0.7 Sekunden
(vorverarbeitet am 2026-06-10)
¤
*© Formatika GbR, Deutschland
