Moby/DC

MaRDI QIDQ14134swMATHFDO

Official website http://csd.informatik.uni-oldenburg.de/~moby/

Cited in

(5)

• scientific article; zbMATH DE number 2143088 (Why is no real title available?)
• Bounded Model Checking for Parametric Timed Automata
• Mcta
• Mcta: heuristics and search for timed systems
• FM 2005: Formal Methods

This page was built for software: Moby/DC