Homeomorphic Embedding for Online Termination (1998)

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