Browsing by Author Kastner, G.
Showing results 1 to 1 of 1
| Preview | Issue Date | Title | Author(s) |
|---|---|---|---|
| 2022 | Posterior predictive model checking using formal methods | Vana, L.; Visconti, E.; Nenzi, L.; Cadonna, A.; Kastner, G.; Parzer, R. |

