Reference:
Toni Jussila. BMC via dynamic atomicity analysis. In Proceedings of the International Conference on Application of Concurrency to System Design (ACSD'2004), Hamilton, Ontario, Canada, June 2004.
Suggested BibTeX entry:
@inproceedings{ttj:daa,
address = {Hamilton, Ontario, Canada},
author = {Toni Jussila},
booktitle = {Proceedings of the International Conference on Application of Concurrency to System Design ({ACSD}'2004)},
month = {June},
title = {{BMC} via dynamic atomicity analysis},
year = {2004},
}
|