Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001 2001 · ENGLISH · PDF View details →
Formal Techniques for Networked and Distributed Systems, 21 conf., FORTE 2001 2001 · ENGLISH · PDF View details →
Formal techniques for networked and distributed systems: FORTE 2001: IFIP TC6 WG6.1, 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 20Author: Myungchul Kim 2001 · ENGLISH · PDF View details →