@inproceedings{
    ttj:daa,
    author = "Jussila, Toni",
    title = "{BMC} via dynamic atomicity analysis",
    booktitle = "Proceedings of the International Conference on Application of Concurrency to System Design ({ACSD}'2004)",
    address = "Hamilton, Ontario, Canada",
    optnote = "Accepted for publication, available from \url{http://www.tcs.hut.fi/\~{}tjussila/publications/jussilat_bmc.ps}",
    month = "June",
    flags = "public SA-53695",
    year = "2004"
}