Temporal logics and their applications /

Bibliographic Details

Other Authors:	Galton, A. P.
Format:	Book
Language:	English
Published:	London : Academic, [1987]
Subjects:	Computer programming. Logic, Symbolic and mathematical.