2011
Book
Restricted
Preface of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages
Massink M, Norman G
Quantitative Formal Methods
This volume contains the proceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011), held in Saarbrücken, Germany, April 1-3, 2011. QAPL 2011 is a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2011).
Source: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Back to previous page
BibTeX entry
@book{oai:it.cnr:prodotti:206950,
title = {Preface of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages},
author = {Massink M and Norman G},
year = {2011}
}CNR authorsLaboratories
0000-0001-5089-002X