FA Sign in

Discover references

IFIP conference

Books

1 results

Cover of 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

English Beginner

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

Myungchul Kim,Byoungmoon Chin,Sungwon Kang,Danhyung Lee

2001 View book