Experts has a new look! Let us know what you think of the updates.
Provide feedback
Home
Scholarly Works
Verified Multicore Parallelism Using Atomic...
Chapter
Verified Multicore Parallelism Using Atomic Verifiable Operations
Authors
Dobrogost M; Anand C; Kahl W
Pagination
pp. 107-151
DOI
10.1201/b15268-7
Associated Experts
Christopher Anand
Associate Professor, Faculty of Engineering
Visit profile
Wolfram Kahl
Professor, Faculty of Engineering
Visit profile
View published work (Non-McMaster Users)
Dimensions