Special issue: Selected papers based on the presentations at the first workshop on quantitative formal methods, QFM 2009, as part of the 2nd formal methods world congress, FM 2009, Eindhoven, The Netherlands, November 2--6, 2009
From MaRDI portal
Publication:651944
zbMATH Open1282.03003MaRDI QIDQ651944
Author name not available (Why is that?)
Publication date: 19 December 2011
Published in: (Search for Journal in Brave)
No records found.
This page was built for publication: Special issue: Selected papers based on the presentations at the first workshop on quantitative formal methods, QFM 2009, as part of the 2nd formal methods world congress, FM 2009, Eindhoven, The Netherlands, November 2--6, 2009
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q651944)
