DMCA

Combining decomposition and unfolding for STG synthesis (2007)

by Victor Khomenko , Mark Schaefer
Venue:IN PROC. ATPN’07
Citations:5 - 4 self