TY  - BOOK
AU  - 
AU  - 
ED  - SpringerLink (Online service)
TI  - Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783642300653
AV  -  Libro electrónico 
U1  - 005.82 23
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer Communication Networks
KW  - Software engineering
KW  - Data encryption (Computer science)
KW  - Coding theory
KW  - Computer software
KW  - Information Systems
KW  - Computer Science
KW  - Data Encryption
KW  - Management of Computing and Information Systems
KW  - Algorithm Analysis and Problem Complexity
KW  - Software Engineering
KW  - Coding and Information Theory
N1  - ZDB-2-SCS; ZDB-2-LNC
N2  - This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; semantics and analysis of modern programming languages; probabilistic models for concurrency; and testing and run-time verification
UR  - http://dx.doi.org/10.1007/978-3-642-30065-3
ER  -