@inproceedings{8672,
  title = "Assumption-Commitment Support for CSP Model Checking",
  author = "Nick Moffat and Michael Goldsmith",
  year = "2006",
  booktitle = "Workshop on Automated Verification of Critical Systems",
  journal = "In Proceedings of the Sixth International Workshop on Automated Verification of Critical Systems",
  pages = "104-119",
  url = "http://hal.inria.fr/inria-00089499/en",
}