On-the-fly model checking (1996)

by G Holzmann
Venue:ACM Computing Surveys (CSUR