Clemente, Lorenzo; Lasota, Sławomir Reachability relations of timed pushdown automata. (English) Zbl 07304648 J. Comput. Syst. Sci. 117, 202-241 (2021). MSC: 68 PDF BibTeX XML Cite \textit{L. Clemente} and \textit{S. Lasota}, J. Comput. Syst. Sci. 117, 202--241 (2021; Zbl 07304648) Full Text: DOI
Bhave, Devendra; Dave, Vrunda; Krishna, S. N.; Phawade, Ramchandra; Trivedi, Ashutosh A perfect class of context-sensitive timed languages. (English) Zbl 1436.68161 Brlek, Srečko (ed.) et al., Developments in language theory. 20th international conference, DLT 2016, Montréal, Canada, July 25–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9840, 38-50 (2016). MSC: 68Q45 PDF BibTeX XML Cite \textit{D. Bhave} et al., Lect. Notes Comput. Sci. 9840, 38--50 (2016; Zbl 1436.68161) Full Text: DOI
Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie On regions and zones for event-clock automata. (English) Zbl 1314.68176 Form. Methods Syst. Des. 45, No. 3, 330-380 (2014). MSC: 68Q45 PDF BibTeX XML Cite \textit{G. Geeraerts} et al., Form. Methods Syst. Des. 45, No. 3, 330--380 (2014; Zbl 1314.68176) Full Text: DOI
Waez, Md Tawhid Bin; Dingel, Juergen; Rudie, Karen A survey of timed automata for the development of real-time systems. (English) Zbl 1302.68180 Comput. Sci. Rev. 9, 1-26 (2013). MSC: 68Q45 68Q55 68Q60 68-02 PDF BibTeX XML Cite \textit{M. T. B. Waez} et al., Comput. Sci. Rev. 9, 1--26 (2013; Zbl 1302.68180) Full Text: DOI
Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie Event clock automata: from theory to practice. (English) Zbl 1348.68102 Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 209-224 (2011). MSC: 68Q45 PDF BibTeX XML Cite \textit{G. Geeraerts} et al., Lect. Notes Comput. Sci. 6919, 209--224 (2011; Zbl 1348.68102) Full Text: DOI