Homeomorphic Embedding for Online Termination (1998)

by Michael Leuschel
Venue:STATIC ANALYSIS. PROCEEDINGS OF SAS’98, LNCS 1503
Citations:61 - 8 self

Document Versions

Homeomorphic Embedding for Online Termination –Michael Leuschel — 1998 — STATIC ANALYSIS. PROCEEDINGS OF SAS’98, LNCS 1503
Homeomorphic Embedding for Online Termination –Michael Leuschel — 1998 — Static Analysis. Proceedings of SAS’98, LNCS 1503
On the Power of Homeomorphic Embedding for Online Termination –Michael Leuschel — 1998 — Static Analysis. Proceedings of SAS’98, LNCS 1503
On the Power of Homeomorphic Embedding for Online Termination –Michael Leuschel — 1998 — Static Analysis. Proceedings of SAS’98, LNCS 1503