@article{journals/tse/LoweR97,
  title = "Using CSP to Detect Errors in the TMN Protocol",
  author = "Gavin Lowe and A. W. Roscoe",
  year = "1997",
  journal = "IEEE Trans. Software Eng.",
  number = "10",
  pages = "659-669",
  url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Security/Papers/TMN.ps",
  volume = "23",
}