|
Volumn , Issue 1357, 1997, Pages 513-531
|
Verifizierung von Entwicklungsergebnissen mit rechnerunterstützten Techniken - Potentiale und Hemmnisse
a a a
a
NONE
|
Author keywords
[No Author keywords available]
|
Indexed keywords
|
EID: 2542586402
PISSN: 00835560
EISSN: None
Source Type: Book Series
DOI: None Document Type: Article |
Times cited : (4)
|
References (12)
|