Formal Techniques for Networked and Distributed Systems – FORTE 2008 - Suzuki, Kenji; El-Fakih, Khaled; Higashino, Teruo; Kanade, Takeo; Yasumoto, Keiichi (Springer Berlin Heidelberg, 2008)
Keywords: Information Technology -- Computer Science (Hardware & Networks)