| Original language | English |
|---|---|
| Title of host publication | Probabilistic Extensions of Various Logical Systems |
| Editors | Zoran Ognjanovic |
| Publisher | Springer |
| Pages | 71 |
| Number of pages | 108 |
| ISBN (Electronic) | 978-3-030-52954-3 |
| ISBN (Print) | 978-3-030-52953-6 |
| Publication status | Published - 2020 |
Probabilistic Temporal Logics
Dragan Doder, Aleksandar Perovic
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic