Cooperative location verification for vehicular ad-hoc networks | IEEE Conference Publication | IEEE Xplore