Formal Techniques for Networked and Distributed Systems - FORTE 2005 - FORTE 2005; Kanade, Takeo; Wang, Farn; Kittler, Josef (Springer Berlin / Heidelberg, 2005)
Keywords: Information Technology -- Computer Science (Hardware & Networks)