Kaustubh Joshi, Markus Siegle, Mari�lle Stoelinga, Pedro R. D�Argenio <br/><br/>
Quantitative Evaluation of Systems 

 -  Springer  2013 
 - Lecture Notes in Computer Science .
<br/><br/><label>ISBN: </label>9783642401961 
<br/><br/><label>Subjects--Index Terms: </label>Logics and Meanings of Programs; System Performance and Evaluation; Probability and Statistics in Computer Science