Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: nid=1091753520
Treffer 1 von 1
|
|
| Link zu diesem Datensatz | https://d-nb.info/gnd/1091753520 |
| Veranstaltung | Workshop on Computer-Aided Verification |
| Andere Namen |
Computer-Aided Verification, Workshop on CAV (Computer-Aided Verification) Workshop on Computer Aided Verification CAV (Workshop on Computer Aided Verification) DIMACS Workshop on Computer-Aided Verification International Workshop on Computer Aided Verification Conference on Computer-Aided Verification International Conference on Computer Aided Verification |
| Quelle | LCAuth |
| Land | Sonstiges Ausland, Unbekanntes Land (ZZ) |
| Typ | Veranstaltungsfolge (vif) |
Treffer 1 von 1
Administration
