| Original language | English |
|---|
| Place of Publication | Berlin |
|---|---|
| Publisher | IEEE Computer Society Press |
| ISBN (Print) | 3540551794 |
| Publication status | Published - 1992 |
Computer Aided Verification: 3rd International Workshop, CAV'91
Research output: Book/Report › Book › Communication