Assumption−Commitment Support for CSP Model Checking
Nick Moffat and Michael Goldsmith
Book Title
Workshop on Automated Verification of Critical Systems
Journal
In Proceedings of the Sixth International Workshop on Automated Verification of Critical Systems
Pages
104−119
Year
2006