Compositional Model Checking for Linear-Time Temporal Logic (1992)

by R Kaivola
Venue:In Proc. 4th int. workshop on Computer Aided Verification