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:

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