Name
Abstract | ||
|---|---|---|
Without Abstract |
Year | DOI | Venue |
|---|---|---|
1995 | 10.1007/BFb0015468 | KORSO Book |
Keywords | Field | DocType |
verification system tatzelwurm | Intelligent verification,Computer science,Physical verification,Verification,High-level verification,Verification system,Software verification,Embedded system | Conference |
ISBN | Citations | PageRank |
3-540-60589-4 | 1 | 0.37 |
References | Authors | |
9 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Peter Deussen | 1 | 56 | 26.79 |
| A. Hansmann | 2 | 158 | 16.75 |
| T. Kaeufl | 3 | 1 | 0.37 |
| Stefan Klingenbeck | 4 | 10 | 2.05 |