Formal Techniques for Distributed Systems - Lee, David; Kanade, Takeo; Lopes, Antónia; Poetzsch-Heffter, Arnd (Springer Berlin Heidelberg, 2009)
Keywords: Information Technology -- Computer Science (Hardware & Networks)