MAMA

MaRDI QIDQ22539swMATHFDO

Official website http://wwwhome.cs.utwente.nl/~timmer/mama/

Cited in

(2)

• Analysis of timed and long-run objectives for Markov automata
• SCOOP

This page was built for software: MAMA