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.