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 (Q651944)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5989589
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | 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 |
scientific article; zbMATH DE number 5989589 |
Statements
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 (English)
0 references
19 December 2011
0 references
