Modular Model Checking of Software (1998)

by K Laster, O Grumberg
Venue:TACAS’98, volume 1384 of LNCS