(:notitlegroup:)
@mastersthesis{minne2017ms,
title = {Automatic testing of maritime collision avoidance algorithms},
author = {Paal Kristian Eknes Minne},
school = {Norwegian University of Science and Technology},
month = {June},
year = {2017}}