Alastair F. Donaldson, Alexander Kaiser 0001, Daniel Kroening, Michael Tautschnig, Thomas Wahl. Counterexample-guided abstraction refinement for symmetric concurrent programs. Formal Methods in System Design, 41(1):25-44, 2012. [doi]
@article{DonaldsonKKTW12,
title = {Counterexample-guided abstraction refinement for symmetric concurrent programs},
author = {Alastair F. Donaldson and Alexander Kaiser 0001 and Daniel Kroening and Michael Tautschnig and Thomas Wahl},
year = {2012},
doi = {10.1007/s10703-012-0155-3},
url = {http://dx.doi.org/10.1007/s10703-012-0155-3},
researchr = {https://researchr.org/publication/DonaldsonKKTW12},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {41},
number = {1},
pages = {25-44},
}