Cover von Verifying Optimizations for Concurrent Programs opens in new tab

Verifying Optimizations for Concurrent Programs

Year: 2014
Media group: OASICS

Details

Search for this author
Year: 2014
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 15-26
Participating parties: Search for this character Mansky, William; Gunter, Elsa L.
Media group: OASICS