Specifying Message Passing and Time-Critical Systems with Temporal Logic.
Series: Lecture Notes in Computer Science S.,v.651
Publisher: Springer-Verlag
Published: 1992
Language: eng
Number of pages: 164