chapter AFP
session "Timed_Automata" = Difference_Bound_Matrices +
options [timeout = 600]
sessions
Transition_Systems_and_Automata
directories
library
theories [document=false]
Instantiate_Existentials
theories
More_List1
Stream_More
TA_Misc
Graphs
CTL
Normalized_Zone_Semantics
document_files
"root.tex"
"root.bib"
¤ Dauer der Verarbeitung: 0.10 Sekunden
(vorverarbeitet am 2026-07-01)
¤
*© Formatika GbR, Deutschland
