Foundations of Software Science and Computation Structures
From MaRDI portal
Publication:5308461
DOI10.1007/B95995zbMATH Open1126.68459OpenAlexW3105029025MaRDI QIDQ5308461FDOQ5308461
Authors: Oded Maler, Amir Pnueli 
Publication date: 28 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b95995
Recommendations
- A Machine-Independent Characterization of Timed Languages
- A logical characterization of timed regular languages
- A logical characterization of timed (non-)regular languages
- Formal Methods for the Design of Real-Time Systems
- Generating Functions of Timed Languages
- Developments in Language Theory
- A perfect class of context-sensitive timed languages
- Two size measures for timed languages
- scientific article; zbMATH DE number 2182596
Cited In (14)
- A perfect class of context-sensitive timed languages
- An algebraic approach to data languages and timed languages
- A Machine-Independent Characterization of Timed Languages
- Two size measures for timed languages
- Title not available (Why is that?)
- Learning of event-recording automata
- Title not available (Why is that?)
- Title not available (Why is that?)
- Real-Time Definable Languages
- Thin and thick timed regular languages
- Title not available (Why is that?)
- Generating Functions of Timed Languages
- Active learning of deterministic timed automata with Myhill-Nerode style characterization
- On timed regular languages defined by inverse monoid morphisms
This page was built for publication: Foundations of Software Science and Computation Structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5308461)
