Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

FARN WANG2020-06-042020-06-042005ISBN 3-540-29189-Xhttps://scholars.lib.ntu.edu.tw/handle/123456789/497108Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedingsconference paper10.1007/11562436https://doi.org/10.1007/11562436