×

Found 5 Documents (Results 1–5)

Verification of timed asynchronous programs. (English) Zbl 1528.68075

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 8, 16 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Verification of timed-arc Petri nets. (English) Zbl 1298.68175

Černá, Ivana (ed.) et al., SOFSEM 2011: Theory and practice of computer science. 37th conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 22–28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18380-5/pbk). Lecture Notes in Computer Science 6543, 46-72 (2011).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Comparing the expressiveness of timed automata and timed extensions of Petri nets. (English) Zbl 1171.68579

Cassez, Franck (ed.) et al., Formal modeling and analysis of timed systems. 6th international conference, FORMATS 2008, Saint Malo, France, September 15–17, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85777-8/pbk). Lecture Notes in Computer Science 5215, 15-32 (2008).
MSC:  68Q85 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software