SCOOP

swMATH10581MaRDI QIDQ22540FDOQ22540

Author name not available (Why is that?)

Official website: http://wwwhome.cs.utwente.nl/~timmer/scoop/index.html

Cited In (5)

• Efficient modelling and generation of Markov automata
• Analysis of timed and long-run objectives for Markov automata
• MAMA
• Long-Run Rewards for Markov Automata
• Confluence reduction for Markov automata

This page was built for software: SCOOP