Florian Lettner, Clemens Holzmann, Lorenz Loesch. Mobile Surveys. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2013 - 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part II. Volume 8112 of Lecture Notes in Computer Science, pages 400-408, Springer, 2013. [doi]
Abstract is missing.