The domain dblp.org now points to this site. The CompleteSearch functionality has been fully integrated, just type into the search field below and see for yourself. If you feel that an important feature is missing or if you encounter any problems, please let us know!
Marco Bernardo, Valérie Issarny: Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures.Lecture Notes in Computer Science 6659, Springer2011, ISBN 978-3-642-21454-7