![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Program Construction Volume 69 || The Schorr-Waite graph marking algorithm
Bauer, Friedrich L., Broy, Manfred, Dijkstra, E. W., Gerhart, S. L., Gries, D., Griffiths, M., Guttag, J. V., Horning, J. J., Owicki, S. S., Pair, C., Partsch, H., Pepper, P., Wirsing, M., Wössner, H.Volume:
10.1007/BF
Year:
1979
Language:
english
DOI:
10.1007/bfb0014658
File:
PDF, 476 KB
english, 1979