Publications

Publications (62)

Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems

Vissat, L.L., Loreti, M., Nenzi, N., Hillston, J. and 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 Science, vol 10503", 317-332. Eds. Bertrand N., Bortolussi L.. Lecture Notes in Computer Science, Cham.

Further information and document details

Optimising the measurement of antimicrobial resistance for use in epidemiology

Humphry, RW., Evans, J., Webster, C., Tongue, SC., Innocent, G.T. and Gunn, G.J.(2017). Optimising the measurement of antimicrobial resistance for use in epidemiology In "Proceedings of the Society of Veterinary Epidemiology and Preventive Medicine". SVEPM.

Further information and document details