Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP Wg 6.1 International Conference, Berlin, Germany, September 29–October 2, 2003 Book Discussion
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP Wg 6.1 International Conference, Berlin, Germany, September 29–October 2, 2003 (Lecture Notes In Computer Science)
by
