Easy Instances for Model Checking

Markus Frick
Ph.D. thesis, Albert-Ludwigs-Univ. Freiburg, Mathematischen Fakultšt, Aug 2001
http://www.dcs.ed.ac.uk/home/mfrick/frickprints/diss.pdf

Cites:

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