@article {Dichev2005,
	title = {Verifikation der Eigenschaften von kryptographischen Protokollen unter Verwendung von Spin Was ist Model Checking?},
	year = {2005},
	pages = {1{\textendash}8},
	institution = {University of Stuttgart},
	keywords = {cryptography, model checking},
	author = {Dichev, K.}
}
