Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
著者 Grigore Rosu, Holger Giese, G. Weikum, D. Tygar, D. Terzopoulos, M. Sudan, B. Steffen, C. Pandu Rangan, O. Nierstrasz, M. Naor, J.C. Mitchell, F. Mattern, A. Kobsa, J. Kleinberg, J. Kittler, T. Kanade, D. Hutchison