Publication year
2009Publisher
S.l : EPTCS
In
Electronic Proceedings in Theoretical Computer Science, (2009)Andova, Suzana; McIver, Annabelle; D'Argenio, Pedro (ed.), Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications Eindhoven, The Netherlands, 3rd November 2009, pp. 41-54ISSN
Annotation
FM2009, 03 november 2009
Publication type
Article in monograph or in proceedings
Display more detailsDisplay less details
Editor(s)
Andova, Suzana
McIver, Annabelle
D'Argenio, Pedro
Cuijpers, Pieter
Markovski, Jasen
Morgan, Caroll
Nunez, Manuel
Organization
Software Science
Journal title
Electronic Proceedings in Theoretical Computer Science
Book title
Andova, Suzana; McIver, Annabelle; D'Argenio, Pedro (ed.), Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications Eindhoven, The Netherlands, 3rd November 2009
Page start
p. 41
Page end
p. 54
Subject
Software ScienceThis item appears in the following Collection(s)
- Academic publications [246216]
- Electronic publications [133894]
- Faculty of Science [37928]
- Open Access publications [107414]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.