 <a name="fse4"></a> <a href="http://www.cs.washington.edu/homes/anderson/">Richard Anderson</a>, <a href="http://www.cs.washington.edu/homes/beame/beame.html">Paul Beame</a>, <a href="http://www.cs.washington.edu/homes/burns/">Steve Burns</a>, William Chan, <a href="http://www.cs.washington.edu/homes/fm/">Francesmary Modugno</a>, <a href="http://www.cs.washington.edu/homes/notkin/">David Notkin</a> and <a href="http://www.cs.washington.edu/homes/jdreese/">Jon Reese</a>. Model checking large software specifications [<a href="http://www.cs.washington.edu/homes/wchan/work/FSE4.ps">Postscript</a> | <a href="http://www.cs.washington.edu/homes/wchan/work/FSE4.ps.gz">gzipped Postscript</a>]. <cite>Proceedings of the Fourth ACM Symposium on the Foundation of Software Engineering (<a href="http://www.csl.sri.com/sigsoft96/">SIGSOFT 1996</a>)</cite>, pages 156-166, October 1996.  <h2>
