E. J. Younger, Z. Luo, Keith H. Bennett, T. M. Bull
Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis
WCRE, 1996.
@inproceedings{WCRE-1996-YoungerLBB,
author = "E. J. Younger and Z. Luo and Keith H. Bennett and T. M. Bull",
booktitle = "{Proceedings of the Third Working Conference on Reverse Engineering}",
ee = "http://computer.org/proceedings/wcre/7674/76740239abs.htm",
isbn = "0-8186-7674-4",
pages = "239--248",
publisher = "{IEEE Computer Society}",
title = "{Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis}",
year = 1996,
}