1991
Preserving liveness. Comments on: 'Safety and liveness from a methodological point of view'
Publication
Publication
Information Processing Letters , Volume 40 - Issue 3 p. 141- 142
Additional Metadata | |
---|---|
, | |
north-holland | |
Information Processing Letters | |
Organisation | Networks and Optimization |
Abadi, M., Alpern, B., Apt, K., Francez, N., Katz, S., Lamport, L., & Schneider, F. B. (1991). Preserving liveness. Comments on: 'Safety and liveness from a methodological point of view'. Information Processing Letters, 40(3), 141–142. |