Shing-Chi Cheung, Jeff Kramer
An Integrated Method for Effective Behaviour Analysis of Distributed Systems
ICSE, 1994.
@inproceedings{ICSE-1994-CheungK,
acmid = "257734.257792",
author = "Shing-Chi Cheung and Jeff Kramer",
booktitle = "{Proceedings of the 16th International Conference on Software Engineering}",
editor = "Bruno Fadini and Leon J. Osterweil and Axel van Lamsweerde",
isbn = "0-8186-5855-X",
pages = "309--320",
publisher = "{IEEE Computer Society / ACM Press}",
title = "{An Integrated Method for Effective Behaviour Analysis of Distributed Systems}",
year = 1994,
}