Title: Specifying message passing andtime-critical systems with temporal logic
First published: 1992
Subjects: Data transmission systems, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: TK5105