ls3-www.cs.tu-dortmund.de/cms/en/staff/former/rotaru.html
Rotaru - Chair 3 - Department of Computer Science - TU Dortmund
d 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
[ …