1994
A computer-checked verification of Milner's scheduler
Publication
Publication
Presented at the
International Symposium on Theoretical Aspects of Computer Science, Sendai, Japan
Additional Metadata | |
---|---|
, | |
Springer | |
Lecture Notes in Computer Science | |
International Symposium on Theoretical Aspects of Computer Science | |
Korver, H. P., & Springintveld, J. G. (1994). A computer-checked verification of Milner's scheduler. In Theoretical Aspects of Computer Science 1994 (2) (pp. 161–178). Springer. |