temporal logic for the specification and verification of real-time systems
By: Yogesh Naik.
Publisher: typescript
Published: 1993
Place of publication: [s.l.]
Language: eng
Notes: Thesis (Ph.D.) - University of Warwick, 1993.