Christoph Koch

Publication Activity (10 Years)

Years Active: 1988-1988
Publications (10 Years): 0

Publications

Dieter Zöbel, Christoph Koch
Resolution techniques and Complexity Results with Deadlocks: A Classifying and Annotated Bibliography. ACM SIGOPS Oper. Syst. Rev. 22 (1) (1988)