BMC via dynamic atomicity analysis

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},
}

This work is not available online here.