×

zbMATH — the first resource for mathematics

Found 48 Documents (Results 1–3)

Mohamed, Otmane Ait (ed.) et al., Theorem proving in higher order logics. 21st international conference, TPHOLs 2008, Montreal, Canada, August 18–21, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-71065-3/pbk). Lecture Notes in Computer Science 5170, 230-245 (2008).
MSC:  68Q45 68Q60 68T15
BibTeX Cite
Full Text: DOI
WorldCat.org
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, 218-232 (2008).
MSC:  68Q60 68Q85
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software