Models and Logics for Quantitative Analysis
The third annual meeting of the ERCIM Working Group on Models and Logics for Quantitative Analysis (MLQA) took place on Monday 5 September 2011 as part of the 22nd International Conference on Concurrency Theory (CONCUR 2011) organized by the RWTH Aachen University in Germany. More than twenty researchers, from senior researchers to PhD students, attended this meeting.