See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/221422273 State Clock Logic: a Decidable Real-Time Logic Conference Paper · January 1997 DOI: 10.1007/BFb0014711 · Source: DBLP CITATIONS 64 READS 14 2 authors: Some of the authors of this publication are also working on these related projects: Webdeb - a collaborative platform for argumentation visualization View project Jean-Francois Raskin Université Libre de Bruxelles 188 PUBLICATIONS 3,036 CITATIONS SEE PROFILE Pierre Yves Schobbens University of Namur 203 PUBLICATIONS 2,706 CITATIONS SEE PROFILE All content following this page was uploaded by Pierre Yves Schobbens on 06 January 2017. The user has requested enhancement of the downloaded file. All in-text references underlined in blue are added to the original document and are linked to publications on ResearchGate, letting you access and read them immediately.