Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis

E. J. Younger, Z. Luo, Keith H. Bennett, T. M. Bull. Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis. In WCRE. pages 239-248, 1996. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: