Verification of concurrent systems based on equivalence checking in SPIN
Verification of concurrent systems based on equivalence checking in SPIN
| Author | Search for: |
|---|---|
| Format | Text, Technical Report |
| Publication date | 1997 |
| Language | English |
| NRC number | NRCC 40165 |
| NPARC number | 8913656 |
| Export citation | Export as RIS |
| Report a correction | Report a correction (opens in a new tab) |
| Record identifier | 2c877e4c-4410-4398-9537-342504476938 |
| Record created | 2009-04-22 |
| Record modified | 2020-03-05 |
- Date modified: