[Lecture Notes in Computer Science] Formal Methods for Mobile Computing Volume 3465 || Network Swapping
Bernardo, Marco, Bogliolo, AlessandroVolume:
10.1007/b1
Year:
2005
Language:
english
DOI:
10.1007/11419822_7
File:
PDF, 377 KB
english, 2005