Temporal Specifications of Self-Timed Systems

Publisher Website

1 January 1981

book chapter
Published by Springer Nature

p. 203-212
https://doi.org/10.1007/978-3-642-68402-9_23

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems, 1982