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: |
|
Full Text from ScienceDirect