%0 Conference Paper %1 conf/sofl/DoanBO16 %A Doan, Ha Thi Thu %A Bonnet, François %A Ogata, Kazuhiro %B SOFL+MSVL %D 2016 %E Liu, Shaoying %E Duan, Zhenhua %E Tian, Cong %E Nagoya, Fumiko %K %P 201-219 %T Model Checking of a Mobile Robots Perpetual Exploration Algorithm. %U http://dblp.uni-trier.de/db/conf/sofl/sofl2016.html#DoanBO16 %V 10189 %@ 978-3-319-57708-1

@inproceedings{conf/sofl/DoanBO16, added-at = {2023-12-13T10:49:33.000+0100}, author = {Doan, Ha Thi Thu and Bonnet, François and Ogata, Kazuhiro}, biburl = {https://www.bibsonomy.org/bibtex/200568afc311ac9efe4e8ddf08e9be054/admin}, booktitle = {SOFL+MSVL}, crossref = {conf/sofl/2016}, editor = {Liu, Shaoying and Duan, Zhenhua and Tian, Cong and Nagoya, Fumiko}, ee = {https://doi.org/10.1007/978-3-319-57708-1_12}, interhash = {db47c8840b84f28568cd05276d3104e6}, intrahash = {00568afc311ac9efe4e8ddf08e9be054}, isbn = {978-3-319-57708-1}, keywords = {}, pages = {201-219}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T10:49:33.000+0100}, title = {Model Checking of a Mobile Robots Perpetual Exploration Algorithm.}, url = {http://dblp.uni-trier.de/db/conf/sofl/sofl2016.html#DoanBO16}, volume = 10189, year = 2016 }