![](/img/cover-not-exists.png)
Automatic analysis of DMA races using model checking andk-induction
Alastair F. Donaldson, Daniel Kroening, Philipp RümmerVolume:
39
Language:
english
Pages:
31
DOI:
10.1007/s10703-011-0124-2
Date:
August, 2011
File:
PDF, 1.30 MB
english, 2011