Model checking Markov population models by stochastic approximations
Autor: | Bortolussi, Luca, Lanciani, Roberta, Nenzi, Laura |
---|---|
Zdroj: | In Information and Computation October 2018 262 Part 2:189-220 |
Databáze: | ScienceDirect |
Externí odkaz: |
Autor: | Bortolussi, Luca, Lanciani, Roberta, Nenzi, Laura |
---|---|
Zdroj: | In Information and Computation October 2018 262 Part 2:189-220 |
Databáze: | ScienceDirect |
Externí odkaz: |