@inproceedings {pos:cav18,
        author = {Xinhao Yuan and Junfeng Yang and Ronghui Gu},
        title = {Partial Order Aware Concurrency Sampling},
        year = {2018},
        booktitle = {Proceedings of the 30th International Conference On Computer Aided Verification (CAV '18)},
}