Homeomorphic Embedding for Online Termination (1998)

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