×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Fitzgerald, John S. (ed.) et al., Theoretical aspects of computing – ICTAC 2008. 5th international colloquium, Istanbul, Turkey, September 1–3, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85761-7/pbk). Lecture Notes in Computer Science 5160, 364-379 (2008).
MSC:  68Q60
BibTeX Cite
Full Text: DOI
WorldCat.org
Lazic, Ranko (ed.) et al., Proceedings of the 5th international workshop on automated verification of critical systems (AVoCS 2005), University of Warwick, Warwick, UK, September 12–13, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 145, 201-217 (2006).
MSC:  68Q85 68Q60
BibTeX Cite
Full Text: Link
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software