Fri-PhD-01

@phdthesis{Fri-PhD-01,
title = {Easy Instances for Model Checking},
author = {Markus Frick},
school = {Albert-Ludwigs-Univ. Freiburg, Mathematischen Fakult{\"a}t},
month = {Aug},
year = {2001},
url = {http://www.dcs.ed.ac.uk/home/mfrick/frickprints/diss.pdf}}

Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!