Tackling continuous state-space explosion in a Markovian process algebra
| Autor: | Tschaikowski, Max, Tribastone, Mirco |
|---|---|
| Zdroj: | In Theoretical Computer Science 16 January 2014 517:1-33 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Tschaikowski, Max, Tribastone, Mirco |
|---|---|
| Zdroj: | In Theoretical Computer Science 16 January 2014 517:1-33 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect