Vol-999⫷ Vol-1000 ⫸Vol-1001
urn:nbn:de:0074-1000-0


None⫷None⫸None
Nadezhda BaklanovaMartin Strecker

A Formal Model of Resource Sharing Conicts in Multithreaded Java