Zhengqiang Chen, Baowen Xu, Huiming Yu
Detecting concurrently executed pairs of statements using an adapted MHP algorithm
Ada, 2001.
@inproceedings{SIGAda-2001-ChenBY,
author = "Zhengqiang Chen and Baowen Xu and Huiming Yu",
booktitle = "{Proceedings ACM SIGAda Annual International Conference (SIGAda 2001)}",
doi = "10.1145/507574.507601",
pages = "107--114",
publisher = "{ACM}",
title = "{Detecting concurrently executed pairs of statements using an adapted MHP algorithm}",
year = 2001,
}