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
Publication Date
July 31, 2013
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)
Scholarly citations from Dimensions
Contact the Experts team
Get technical help
or
Provide website feedback