×

zbMATH — the first resource for mathematics

Found 13 Documents (Results 1–13)

100
MathJax
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 11, 21 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 13, 14 p. (2017).
MSC:  68W27 68W40
PDF BibTeX XML Cite
Full Text: DOI