Citation Formats
MLA
Chakarov, Aleksandar Nevenov. Deductive Verification of Infinite-state Stochastic Systems Using Martingales.
APA
Chakarov, A. Deductive Verification of Infinite-State Stochastic Systems Using Martingales.
Chicago
Chakarov, Aleksandar Nevenov. Deductive Verification of Infinite-State Stochastic Systems Using Martingales.