Verifying Temporal Properties of Systems. Birkhauser (1992)

by Julian C Bradfield