You are about to access our book library "Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and ... (Lecture Notes in Computer Science, 6659) full version"
.