csp2B: A Practical Approach to Combining CSP and B
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
2000.
|
Subjects: | |
Online Access: | Get fulltext |
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
2000.
|
Subjects: | |
Online Access: | Get fulltext |