An Integrated Method for Effective Behaviour Analysis of Distributed Systems

@inproceedings{Cheung-Kramer:ICSE94,
  author    = {Shing{-}Chi Cheung and
               Jeff Kramer},
  title     = {An Integrated Method for Effective Behaviour Analysis of Distributed Systems},
  booktitle = {ICSE},
  pages     = {309--320},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1994},
}