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