DIMACS TR: 97-57

Special Year on Logic and Algorithms Tutorial Notes:
Complexity Issues in Automata-Theoretic Verification:
The COSPAN Approach to Deal with These Issues
(Tutorial Lectures by Robert Kurshan)



Authors: Robert Kurshan and Sandeep Shukla

ABSTRACT

The 1995-1996 DIMACS Special Year on Logic and Algorithms began with three week-long tutorial sessions on the topics of the special year:

These notes on the lectures given by Robert Kurshan were compiled by Sandeep K. Shukla.

Paper Available at: ftp://dimacs.rutgers.edu/pub/dimacs/TechnicalReports/TechReports/1997/97-57.ps.gz

DIMACS Home Page