Probabilistic Logical Characterization
| Autor: | Hermanns, Holger, Parma, Augusto, Segala, Roberto, Wachter, Björn, Zhang, Lijun |
|---|---|
| Zdroj: | In Information and Computation 2011 209(2):154-172 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Hermanns, Holger, Parma, Augusto, Segala, Roberto, Wachter, Björn, Zhang, Lijun |
|---|---|
| Zdroj: | In Information and Computation 2011 209(2):154-172 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect