Formal Techniques for Networked and Distributed Systems – FORTE 2007 - Derrick, John; Kanade, Takeo; Vain, Jüri; IFIP Working Group 6.1.; Kittler, Josef (Springer Berlin Heidelberg, 2007)
Keywords: Information Technology -- Computer Science (Hardware & Networks)