TY - GEN DO - 10.1007/978-3-319-10885-8 DO - doi T1 - Computer performance engineering11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings / AU - Horváth, András, AU - Wolter, Katinka, VL - 8721 CN - SpringerLink CN - QA76.9.E94 N1 - International conference proceedings. ID - 710882 KW - Computer systems KW - Computers KW - Formal methods (Computer science) SN - 9783319108858 SN - 3319108859 TI - Computer performance engineering11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings / LK - https://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-10885-8 UR - https://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-10885-8 ER -