Conference paper
Performance measurement and data base design
Alfonso P. Cardenas, Larry F. Bowman, et al.
ACM Annual Conference 1975
Paper
Preserving liveness: Comments on "safety and liveness from a methodological point of view"
Abstract
No abstract available.
Related
Ohad Shamir, Sivan Sabato, et al.
Theoretical Computer Science
S.M. Sadjadi, S. Chen, et al.
TAPIA 2009
Reena Elangovan, Shubham Jain, et al.
ACM TODAES