Reducing concurrent analysis under a context bound to sequential analysis (0)

by A Lal, T W Reps
Venue:Formal Methods in System Design