-
1Formal Techniques for Networked and Distributed Systems [electronic resource] : FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Dis... Formal Techniques for Networked and Distributed Systems [electronic resource] : FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Dis...by Kim, Myungchul. editor., Chin, Byoungmoon. editor., Kang, Sungwon. editor., Lee, Danhyung. editor., SpringerLink (Online service)
Published 2001Texto bibliotecaCOLPOS -
2Formal Techniques for Networked and Distributed Systems [electronic resource] : FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Dis... Formal Techniques for Networked and Distributed Systems [electronic resource] : FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Dis...by Kim, Myungchul. editor., Chin, Byoungmoon. editor., Kang, Sungwon. editor., Lee, Danhyung. editor., SpringerLink (Online service)
Published 2001Texto bibliotecaCOLPOS