%0 Conference Paper %1 conf/wads/DengMM99 %A Deng, Xiaotie %A Milios, Evangelos E. %A Mirzaian, Andy %B WADS %D 1999 %E Dehne, Frank K. H. A. %E Gupta, Arvind %E Sack, Jörg-Rüdiger %E Tamassia, Roberto %I Springer %K dblp %P 86-97 %T Robot Map Verification of a Graph World. %U http://dblp.uni-trier.de/db/conf/wads/wads99.html#DengMM99 %V 1663 %@ 3-540-66279-0

@inproceedings{conf/wads/DengMM99, added-at = {2017-05-21T00:00:00.000+0200}, author = {Deng, Xiaotie and Milios, Evangelos E. and Mirzaian, Andy}, biburl = {https://www.bibsonomy.org/bibtex/2e1484e78cbeb9cb9f7bf81283bacadeb/dblp}, booktitle = {WADS}, crossref = {conf/wads/1999}, editor = {Dehne, Frank K. H. A. and Gupta, Arvind and Sack, Jörg-Rüdiger and Tamassia, Roberto}, ee = {https://doi.org/10.1007/3-540-48447-7_11}, interhash = {18b6ea5f102c0b91c94091ffae13f42b}, intrahash = {e1484e78cbeb9cb9f7bf81283bacadeb}, isbn = {3-540-66279-0}, keywords = {dblp}, pages = {86-97}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:53:06.000+0200}, title = {Robot Map Verification of a Graph World.}, url = {http://dblp.uni-trier.de/db/conf/wads/wads99.html#DengMM99}, volume = 1663, year = 1999 }