autore : Gul Agha
1
pubblicazione
Verifying the Evolution of Probability Distributions Governed by a DTMC (IEEE Transactions on Software Engineering, 2011) — YoungMin Kwon, Gul Agha Verifying the Evolution of Probability Distributions Governed by a DTMC (IEEE Transactions on Software Engineering, 2011) — YoungMin Kwon, Gul Agha