Time-bounded termination analysis for probabilistic programs with delays

Ming Xu, Yuxin Deng. Time-bounded termination analysis for probabilistic programs with delays. Inf. Comput., 275:104634, 2020. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.