×

zbMATH — the first resource for mathematics

Found 15 Documents (Results 1–3)

Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27–31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 101-115 (2012).
MSC:  92D30 68Q85
BibTeX Cite
Full Text: DOI
Cannata, Nicola (ed.) et al., Proceedings of the 2nd workshop – from biology to concurrency and back (FBTC 2008), Reykjavik, Iceland, July 12, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 1, 59-74 (2009).
MSC:  92D30 34C60 68Q85
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Author
Serial
Year of Publication
Classification
Software