Specifying message passing andtime-critical systems with temporal logic
By: R. Koymans..
Series: Lecture notes in computer science -- 651
Publisher: Springer-Verlag
Published: 1992
Place of publication: Berlin; New York
Language: eng
Number of pages: 164
Subjects: Data transmission systems.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references and index.