Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards. An efficient statistical model checker for nondeterminism and rare events. STTT, 22(6):759-780, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.