dblp.uni-trier.de www.uni-trier.de

SFM 2005: Bertinoro, Italy

Marco Bernardo, Alessandro Bogliolo (Eds.): Formal Methods for Mobile Computing, 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures. Lecture Notes in Computer Science 3465 Springer 2005, ISBN 3-540-25697-0 BibTeX

Models and Languages

Scalability and Performance

Dynamic Power Management

Middleware Support

Copyright © Sat May 16 23:37:46 2009 by Michael Ley (ley@uni-trier.de)