Formalization and Proof of Distributed Systems (ja)
by UENISHI Kota
Published January 20, 2017 in Science
分散システムの形式化と証明について ＠情報システム特別講義D 2016年度筑波大学
- Star this Talk 1 Star
- Published in Science
- Stats 113 Views
Published January 20, 2017 in Science
分散システムの形式化と証明について ＠情報システム特別講義D 2016年度筑波大学