Dirk Beyer 0001, Karlheinz Friedberger. Domain-independent multi-threaded software model checking. In Marianne Huchard, Christian Kästner, Gordon Fraser, editors, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. pages 634-644, ACM, 2018. [doi]
@inproceedings{0001F18-0,
title = {Domain-independent multi-threaded software model checking},
author = {Dirk Beyer 0001 and Karlheinz Friedberger},
year = {2018},
doi = {10.1145/3238147.3238195},
url = {https://doi.org/10.1145/3238147.3238195},
researchr = {https://researchr.org/publication/0001F18-0},
cites = {0},
citedby = {0},
pages = {634-644},
booktitle = {Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering},
editor = {Marianne Huchard and Christian Kästner and Gordon Fraser},
publisher = {ACM},
}