Laura Nenzi: Unterschied zwischen den Versionen

Zur Navigation springen Zur Suche springen
K (31 Versionen importiert: bei Wikipedia vom Löschen bedroht, bzw. Aktualisierung)
de>Jbergner
Zeile 21: Zeile 21:


==== Artikel in Zeitschriften und Sammelbänden (Auswahl) ====
==== Artikel in Zeitschriften und Sammelbänden (Auswahl) ====
* mit L. L. Vissat et al.: ''Analysis of spatio-temporal properties of stochastic systems using TSTL''. In: ''Transactions on Mod-eling and Computer Simulation'' (bevorstehend).
* 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.
Anonymer Benutzer

Navigationsmenü