ls3-www.cs.tu-dortmund.de/cms/en/publications/type/conference/index.html
Conference Publications - Chair 3 - Department of Computer Science - TU Dortmund
Distributed Interaction Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Hrsg.: Farn Wang, Nr. 3731, S. 542-546, Spr, Taipei, Taiwan, 2005-10-02 …