%0 Book
%A / Krishnendu Chatterjee, Thomas A. Henzinger
%T Formal Modeling and Analysis of Timed Systems
%U /book/93591195/Formal-Modeling-and-Analysis-of-Timed-Systems/