Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. Sun, J., Liu, Y., & Dong, J. S. In Proceedings of Leveraging Applications of Formal Methods (ISoLA), pages 307-322, 2008.
Model Checking CSP Revisited: Introducing a Process Analysis Toolkit [link]Paper  Model Checking CSP Revisited: Introducing a Process Analysis Toolkit [pdf]Paper  bibtex   

Downloads: 0