1982
Proof rules dealing with fairness
Publication
Publication
Presented at the
Logics of Programs
Additional Metadata | |
---|---|
Springer | |
Lecture Notes in Computer Science | |
Logics of Programs | |
Apt, K., & Olderog, E.-R. (1982). Proof rules dealing with fairness. In Proceedings of Logics of Programs 1982 (pp. 1–8). Springer. |