undergraduate thesis
Analysis of Software Tools for Logical Network Protocol Verification

Dino Kos (2017)
University of Zagreb
Faculty of Transport and Traffic Sciences
Division of Transport
Department of Information and Communications Traffic