A logical characterization of data languages
Author:
- 31 October 2002
- journal article
- research article
- Published by Elsevier in Information Processing Letters
- Vol. 84 (2) , 75-85
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Timed regular expressionsJournal of the ACM, 2002
- Uppaal in a nutshellInternational Journal on Software Tools for Technology Transfer, 1997
- Model-Checking in Dense Real-TimeInformation and Computation, 1993