Hardware Specification with Temporal Logic: An Example (1982)

by Gregor V Bochmann
Venue:IEEE Trans. on ComputersC-31 (Mar