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

From MaRDI portal

Revision as of 16:38, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5194934

Jump to:navigation, search

DOI10.1007/978-3-319-66335-7_22zbMath1420.68133OpenAlexW2785236715WikidataQ124438967 ScholiaQ124438967MaRDI QIDQ5194934

Ludovica Luisa Vissat, Jane Hillston, Michele Loreti, Laura Nenzi, Glenn Marion

Publication date: 17 September 2019

Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/38211096/FinalQESTLudovica.pdf

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

This page was built for publication: Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5194934&oldid=19778989"