QR-Maps: An efficient tool for indoor user location based on QR-Codes and Google maps 20 de septiembre de 2023