<previous   |  7 / 12  |   next> back
Nikola Benes: A Case Study in Parallel Verification of Component-Based Systems
PDMC'08, March 29, 2008, Budapest, Hungary