×

Found 9 Documents (Results 1–9)

A Kleene-Schützenberger theorem for weighted timed automata. (English) Zbl 1139.68031

Amadio, Roberto (ed.), Foundations of software science and computational structures. 11th international conference, FOSSACS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78497-5/pbk). Lecture Notes in Computer Science 4962, 142-156 (2008).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Balanced timed regular expressions. (English) Zbl 1270.68118

Vogler, Walter (ed.) et al., MTCS ’02. Proceedings of the 3rd international workshop on models for time-critical systems (CONCUR 2002 satellite workshop), Brno, Czech Republic, August 24, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 68, No. 5, 16-33 (2003).
MSC:  68Q42 68Q45 68Q55
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software