Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

DOI10.1007/B100824zbMath1109.68514OpenAlexW4206454994MaRDI QIDQ5464765

Vaughan Coulthard, Rajeev Goré, J. M. Davoren, Thomas Moor

Publication date: 19 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100824

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems