Comments on Temporal Logics for Real-Time System Specification MATTEO PRADELLA

dc.contributor.author	Furia Carlo A
dc.contributor.author	Ricerche Consiglio Nazionale Delle
dc.contributor.author	Rossi Matteo
dc.date.accessioned	2018-02-05T14:34:02Z
dc.date.available	2018-02-05T14:34:02Z
dc.date.issued	2009
dc.identifier.uri	http://hdl.handle.net/123456789/7128
dc.description.abstract	The article " Temporal Logics for Real-Time System Specification " surveys some of the relevant literature dealing with the use of temporal logics for the specification of real-time systems. Unfortunately, it introduces some imprecisions that might create some confusion in the reader. While a certain degree of informality is certainly useful when addressing a broad audience, imprecisions can negatively impact the legibility of the exposition. We clarify some of its remarks on a few topics, in an effort to contribute to the usefulness of the survey for the reader. ACM Reference Format: Furia, C. A., Pradella, M., and Rossi, M. 2009. Comments on temporal logics for real-time system specification .
dc.format	application/pdf
dc.language.iso	English
dc.title	Comments on Temporal Logics for Real-Time System Specification MATTEO PRADELLA
dc.type	journal-article
dc.source.volume	41
dc.source.issue	13
dc.source.journal	ACM Comput. Surv