9789310189596
Jitendra Shinde
Mahima Publications
English
Computer and IT: Science and Engineering - Computer and IT: Science and Engineering
2017
11455.00
Deductive Verification of Infinite-State Stochastic Systems using Martingales
