Executable temporal logics
From MaRDI portal
Publication:679343
zbMath0865.00029MaRDI QIDQ679343
No author found.
Publication date: 24 June 1997
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (2)
PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic ⋮ A timed concurrent constraint language.
This page was built for publication: Executable temporal logics
