PLASMA-lab

swMATH33109MaRDI QIDQ44818FDOQ44818

Author name not available (Why is that?)

Official website: https://core.ac.uk/reader/48182680

Cited In (7)

• Statistical approximation of optimal schedulers for probabilistic timed automata
• Command-based importance sampling for statistical model checking
• COSMOS
• Ymer
• APMC
• MC2
• PLASMA

This page was built for software: PLASMA-lab