| Originalsprog | Engelsk |
|---|
| Udgivelsessted | Berlin |
|---|---|
| Forlag | IEEE Computer Society Press |
| ISBN (Trykt) | 3540551794 |
| Status | Udgivet - 1992 |
Computer Aided Verification: 3rd International Workshop, CAV'91
Publikation: Bog/antologi/afhandling/rapport › Bog › Formidling