×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 92-106, electronic only (2012).
MSC:  68Q60 03B44 68T15
BibTeX Cite
Full Text: DOI
WorldCat.org
Jurdziński, Marcin (ed.) et al., Formal modeling and analysis of timed systems. 10th international conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33364-4/pbk). Lecture Notes in Computer Science 7595, 43-58 (2012).
MSC:  68Q45 68Q87
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Classification