Laura Nenzi: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
→Artikel in Zeitschriften und Sammelbänden (Auswahl): -Glaskugelei
K (31 Versionen importiert: bei Wikipedia vom Löschen bedroht, bzw. Aktualisierung) |
de>Jbergner (→Artikel in Zeitschriften und Sammelbänden (Auswahl): -Glaskugelei) |
||
| Zeile 21: | Zeile 21: | ||
==== Artikel in Zeitschriften und Sammelbänden (Auswahl) ==== | ==== Artikel in Zeitschriften und Sammelbänden (Auswahl) ==== | ||
* mit L. Bortolussi und R. Lanciani: ''Model checking Markov population modelsby stochastic approximations''. In: ''Information and Computation'' 262 (2018), S. 189–220. DOI: 10.1016/j.ic.2018.09.004. | * mit L. Bortolussi und R. Lanciani: ''Model checking Markov population modelsby stochastic approximations''. In: ''Information and Computation'' 262 (2018), S. 189–220. DOI: 10.1016/j.ic.2018.09.004. | ||
* mit L. Bortolussi et al.: ''Qualitative and Quanti-tative Monitoring of Spatio-Temporal Properties with SSTL''. In: ''Logical Methods in Computer Science'' 14/4 (2018). DOI: 10.1016/j.ic.2018.09.004. | * mit L. Bortolussi et al.: ''Qualitative and Quanti-tative Monitoring of Spatio-Temporal Properties with SSTL''. In: ''Logical Methods in Computer Science'' 14/4 (2018). DOI: 10.1016/j.ic.2018.09.004. | ||