@book{e7da38cba96b4e7a93e87082c9388fde,
title = "Proceedings First Workshop on Quantitative Formal Methods : theory and applications (QFM'09, Eindhoven, The Netherlands, November 3, 2009)",
abstract = "This volume contains the papers presented at the 1st workshop on Quantitative Formal Methods: Theory and Applications, which was held in Eindhoven on 3 November 2009 as part of the International Symposium on Formal Methods 2009. This volume contains the final versions of all contributions accepted for presentation at the workshop.",
editor = "S. Andova and A. McIver and P.R. D'Argenio and P.J.L. Cuijpers and J. Markovski and C. Morgan and M. N{\'u}{\~n}ez",
year = "2009",
doi = "10.4204/EPTCS.13",
language = "English",
series = "Electronic Proceedings in Theoretical Computer Science",
publisher = "s.n.",
}