External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Model Checking of Robot Gathering

Ha Thi Thu Doan, François Bonnet 0001, Kazuhiro Ogata 0002. Model Checking of Robot Gathering. In James Aspnes, Alysson Bessani, Pascal Felber, João Leitão 0001, editors, 21st International Conference on Principles of Distributed Systems, OPODIS 2017, Lisbon, Portugal, December 18-20, 2017. Volume 95 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Authors

Ha Thi Thu Doan

This author has not been identified. Look up 'Ha Thi Thu Doan' in Google

François Bonnet 0001

This author has not been identified. Look up 'François Bonnet 0001' in Google

Kazuhiro Ogata 0002

This author has not been identified. Look up 'Kazuhiro Ogata 0002' in Google
runs on