×

zbMATH — the first resource for mathematics

Found 27 Documents (Results 1–3)

Bernardo, Marco (ed.) et al., Formal methods for performance evaluation. 7th international school on formal methods for the design of computer, communication, and software systems, SFM 2007, Bertinoro, Italy, May 28 – June 2, 2007. Advanced lectures. Berlin: Springer (ISBN 978-3-540-72482-7/pbk). Lecture Notes in Computer Science 4486, 1-33 (2007).
MSC:  68M20 60J20 65C40
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software