SAS Tutorial, Venice, September 1999

Model Checking and Abstraction (Slide 2)

Next | Previous