Temporal logic of programs
By: Fred Kröger.
Series: EATCS monographs on theoretical computer science -- 8
Publisher: Springer-Verlag
Published: 1987
Place of publication: Berlin; New York
Language: eng
Subjects: Electronic digital computers -- Programming.; Logic, Symbolic and mathematical.