undergraduate thesis
Model Checking of Protocols with Time Constraints

Davor Lisjak (2012)
University of Zagreb
Faculty of Organization and Informatics Varaždin
Department of Computing and Technology