Deductive Verification of Infinite-State Stochastic Systems using Martingales
Chakarov, Aleksandar Nevenov.
University of Colorado at Boulder ProQuest Dissertations Publishing, 2016. 10151160.
Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works.
Your library or institution may also provide you access to related full text documents in ProQuest.
Alternatively, you can purchase a copy of the complete full text for this document directly from ProQuest using the option below: