Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space

論文・著書情報

タイトル

和文:	Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space
英文:	Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space

著者

和文:	Xavier Défago, Heriban Adam, Sébastien Tixeuil, 和田幸一.
英文:	Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada.

言語

English

掲載誌/書名

和文:	33rd International Symposium on Distributed Computing (DISC 2019)
英文:	33rd International Symposium on Distributed Computing (DISC 2019)

巻, 号, ページ

Vol. 146 pp. 1-3

出版年月

2019年10月

出版者

和文:
英文:	Leibniz International Proceedings in Informatics

会議名称

和文:	33rd International Symposium on Distributed Computing (DISC 2019)
英文:	33rd International Symposium on Distributed Computing (DISC 2019)

開催地

和文:	Budapest
英文:	Budapest

ファイル

公式リンク

DOI