[Lecture Notes in Computer Science] Formal Methods for Mobile Computing Volume 3465 ||
Bernardo, Marco, Bogliolo, AlessandroVolume:
10.1007/b1
Year:
2005
Language:
english
DOI:
10.1007/b135888
File:
PDF, 3.76 MB
english, 2005