DMCA

Saturation-based symbolic reachability analysis using conjunctive and disjunctive partitioning (2005)

Cached

Download Links

by Gianfranco Ciardo , Andy Jinqing Yu
Venue:Proc. CHARME, LNCS 3725
Citations:24 - 13 self