Tool support for formal system verification

Zitieren

Zitierform:

Müller, Marcus / Pacholik, Alexander / Fengler, Wolfgang: Tool support for formal system verification. Ilmenau 2007.

Zugriffsstatistik

Gesamt:
Volltextzugriffe:
Metadatenansicht:
12 Monate:
Volltextzugriffe:
Metadatenansicht:

Grafik öffnen

Rechte

Nutzung und Vervielfältigung:
Alle Rechte vorbehalten

Export