![](/img/cover-not-exists.png)
Fault localization using a model checker
Andreas Griesmayer, Stefan Staber, Roderick BloemVolume:
20
Year:
2010
Language:
english
Pages:
25
DOI:
10.1002/stvr.421
File:
PDF, 289 KB
english, 2010