Concurrency verification
Concurrency verification
Mannes Poel, Job Zwiers, Ulrich Hanneman, Frank de Boer, Yassine Lakhnech, Jozef Hooman, W.-P. de Roever, Willem-Paul de Roever
Details
- OL Work ID
- OL19041067W
Subjects
Parallel processing (Electronic computers)VerificationComputer softwareParallel processing (electronic computers)Computer software, verification