Worklist Algorithms

MaRDI QIDQ7361335FDO

Authors Simon Wimmer, Peter Lammich

Publication date 9 August 2024

Cites work

• Formal Modeling and Analysis of Timed Systems
• Lectures on Concurrency and Petri Nets
• Verified model checking of timed automata

Cited in

(1)

• Munta: A Verified Model Checker for Timed Automata

This page was built for software: Worklist Algorithms