CHATTERJEE, K., NOVOTNÝ, P., & ZIKELIC, D. (2017). Stochastic invariants for probabilistic termination. Institutional Knowledge at Singapore Management University.
Chicago Style CitationCHATTERJEE, Krishnendu, Petr NOVOTNÝ, and Dorde ZIKELIC. Stochastic Invariants for Probabilistic Termination. Institutional Knowledge at Singapore Management University, 2017.
MLA CitationCHATTERJEE, Krishnendu, Petr NOVOTNÝ, and Dorde ZIKELIC. Stochastic Invariants for Probabilistic Termination. Institutional Knowledge at Singapore Management University, 2017.
Warning: These citations may not always be 100% accurate.