INFAMY

swMATH21177MaRDI QIDQ32989FDOQ32989

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=1575113

Cited In (9)

• Computing cumulative rewards using fast adaptive uniformization
• On-the-fly fast mean-field model-checking
• Bayesian statistical model checking with application to Stateflow/Simulink verification
• APMC
• MARCIE
• SABRE
• PALOMA
• On the memory consumption of probabilistic pushdown automata
• SBML Test Suite

This page was built for software: INFAMY