Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : Proceedings

Front Cover
Springer-Verlag, 1994 - Computers - 545 pages
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Combining Temporal Specification Techniques
1
Global Equivalence Proofs for ISTL
17
A Real Time Process Logic
30
Copyright

29 other sections not shown

Other editions - View all

Common terms and phrases