Homeomorphic Embedding for Online Termination (1998)

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