Accelerating the world's research. Abstraction of probabilistic systems Joost-Pieter Katoen Formal Modeling and Analysis of Timed Systems Cite this paper Get the citation in MLA, APA, or Chicago styles Downloaded from Academia.edu Related papers A Theory of Pointers for the UTP Will Harwood Timed Modal Logics for Real-Time Systems Franck Cassez Timed Modal Logics for Real-Time Systems - Specification, Verification and Control Franck Cassez Download a PDF Pack of the best related papers