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

MaRDI QIDQ651944zbMATH OpenFDO

Authors

Publication date 19 December 2011

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Logic in computer science (03B70) Algebraic theory of languages and automata (68Q70)

Cited in

(1)

• Introduction by the guest editor

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)