Reducing concurrent analysis under a context bound to
Akash Lal, Thomas RepsVolume:
35
Language:
english
Pages:
25
DOI:
10.1007/s10703-009-0078-9
Date:
August, 2009
File:
PDF, 695 KB
english, 2009