%0 Conference Paper %1 conf/vstte/DutleMTM17 %A Dutle, Aaron %A Moscato, Mariano M. %A Titolo, Laura %A Muñoz, César A. %B VSTTE %D 2017 %E Paskevich, Andrei %E Wies, Thomas %I Springer %K dblp %P 19-34 %T A Formal Analysis of the Compact Position Reporting Algorithm. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2017.html#DutleMTM17 %V 10712 %@ 978-3-319-72308-2

@inproceedings{conf/vstte/DutleMTM17, added-at = {2017-12-15T00:00:00.000+0100}, author = {Dutle, Aaron and Moscato, Mariano M. and Titolo, Laura and Muñoz, César A.}, biburl = {https://www.bibsonomy.org/bibtex/2351a6a9482b38830f22e56f93a3458c3/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2017}, editor = {Paskevich, Andrei and Wies, Thomas}, ee = {https://doi.org/10.1007/978-3-319-72308-2_2}, interhash = {24a2b49f5353e25ac1e0493e66cf335c}, intrahash = {351a6a9482b38830f22e56f93a3458c3}, isbn = {978-3-319-72308-2}, keywords = {dblp}, pages = {19-34}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:25:18.000+0200}, title = {A Formal Analysis of the Compact Position Reporting Algorithm.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2017.html#DutleMTM17}, volume = 10712, year = 2017 }