Edinburgh Research Explorer

Three-Valued Spatio-Temporal Logic: a further analysis on spatio-temporal properties of stochastic systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Three-Valued Spatio-Temporal Logic: a further analysis on spatio-temporal properties of stochastic systems. / Luisa Vissat, Ludovica; Loreti, Michele; Nenzi, Laura; Hillston, Jane; Marion, Glenn.

Quantitative Evaluation of Systems. QEST 2017.. Springer, Cham, 2017. p. 317-332 (Lecture Notes in Computer Scienc; Vol. 10503).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Luisa Vissat, L, Loreti, M, Nenzi, L, Hillston, J & Marion, G 2017, Three-Valued Spatio-Temporal Logic: a further analysis on spatio-temporal properties of stochastic systems. in Quantitative Evaluation of Systems. QEST 2017.. Lecture Notes in Computer Scienc, vol. 10503, Springer, Cham, pp. 317-332, 14th International Conference on Quantitative Evaluation of Systems, Berlin, Germany, 5/09/17. https://doi.org/10.1007/978-3-319-66335-7_22

APA

Luisa Vissat, L., Loreti, M., Nenzi, L., Hillston, J., & Marion, G. (2017). Three-Valued Spatio-Temporal Logic: a further analysis on spatio-temporal properties of stochastic systems. In Quantitative Evaluation of Systems. QEST 2017. (pp. 317-332). (Lecture Notes in Computer Scienc; Vol. 10503). Springer, Cham. https://doi.org/10.1007/978-3-319-66335-7_22

Vancouver

Luisa Vissat L, Loreti M, Nenzi L, Hillston J, Marion G. Three-Valued Spatio-Temporal Logic: a further analysis on spatio-temporal properties of stochastic systems. In Quantitative Evaluation of Systems. QEST 2017.. Springer, Cham. 2017. p. 317-332. (Lecture Notes in Computer Scienc). https://doi.org/10.1007/978-3-319-66335-7_22

Author

Luisa Vissat, Ludovica ; Loreti, Michele ; Nenzi, Laura ; Hillston, Jane ; Marion, Glenn. / Three-Valued Spatio-Temporal Logic: a further analysis on spatio-temporal properties of stochastic systems. Quantitative Evaluation of Systems. QEST 2017.. Springer, Cham, 2017. pp. 317-332 (Lecture Notes in Computer Scienc).