Hardware Specification with Temporal Logic: An example (1981)

by G V Bochmann
Venue:0 , 1