@bachelorsthesis{peci_07:bachelor,
title = {Mechanized verification of Security Protocols Using Causality-based Abstractions},
author = {Kim Pecina},
year = {2007},
date = {2007-01-01},
school = {Saarland University},
keywords = {}
}