Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://lib.mexmat.ru/books/85683
Дата изменения: Unknown
Дата индексирования: Tue Apr 12 00:41:15 2016
Кодировка: Windows-1251
Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета
Lee D., Lopes A., Poetzsch-Heffter A. - Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009 Lisboa, Portugal, June 9-12, 2009 Proceedings
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009 Lisboa, Portugal, June 9-12, 2009 Proceedings
Авторы: Lee D., Lopes A., Poetzsch-Heffter A.
Аннотация:
This year's edition of the international federated conferences on Distributed Computing Techniques took place in Lisbon during June 9-11. It was hosted by the Faculty of Sciences of the University of Lisbon and formally organized by the Institute of Telecommunications, the research center I am associated with.