Acronyms von A bis Z
LNCS129
-B. T. Hailpern: Verifying Concurrent Processes Using Temporal Logic, Springer-Verlag 1982
-B. T. Hailpern: Verifying Concurrent Processes Using Temporal Logic, Springer-Verlag 1982