![]() |
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 |
Open of an account with the CCSD's Central Authentification Service. The account is valid for HAL, Sciencesconf, Episciences