1998
Diagram techniques for confluence
Publication
Publication
Information and Computation , Volume 141 - Issue 2 p. 172- 204
Additional Metadata | |
---|---|
, | |
Academic Press | |
Information and Computation | |
Organisation | Specification and Analysis of Embedded Systems |
Bezem, M. A., Klop, J. W., & van Oostrom, V. (1998). Diagram techniques for confluence. Information and Computation, 141(2), 172–204. |