A Double Auction Mechanism for Coded Distributed Computing in Smart Vehicles Topics: Edge Computing; Internet of Things In Proceedings of the 18th International Conference on Wireless Networks and Mobile Systems WINSYS - Volume 1, 107-114, 2021