Browsing by Author Vana, L.
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. |