Reachability Analysis of Term Rewriting Systems with Timbuk (2001)

Cached

Download Links

by Thomas Genet , Valérie Viet Triem Tong
Venue:LPAR PROCEEDINGS
Citations:11 - 1 self