Transition Systems and Automata

MaRDI QIDQ7361382FDO

Authors Julian Brunner

Publication date 19 October 2017

Cited in

(6)

• A Compositional and Unified Translation of LTL into ω-Automata
• Munta: A Verified Model Checker for Timed Automata
• Timed Automata
• Formalisation of an Adaptive State Counting Algorithm
• Büchi Complementation
• Partial Order Reduction

This page was built for software: Transition Systems and Automata