TY  - BOOK
AU  - Aldini,Alessandro
AU  - Bernardo,Marco
AU  - Pierro,Alessandra
AU  - Wiklicky,Herbert
ED  - SpringerLink (Online service)
TI  - Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures 
T2  - Lecture Notes in Computer Science,
SN  - 9783642136788
AV  - QA76.758 
U1  - 005.1 23
PY  - 2010///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Monoclonal antibodies
KW  - Software engineering
KW  - Information systems
KW  - Computer Science
KW  - Software Engineering
KW  - Software Engineering/Programming and Operating Systems
KW  - Antibodies
KW  - Mathematical Logic and Formal Languages
KW  - Programming Languages, Compilers, Interpreters
KW  - Information Systems Applications (incl.Internet)
N1  - Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security Tradeoff
UR  - http://dx.doi.org/10.1007/978-3-642-13678-8
ER  -