Name
Year | DOI | Venue |
|---|---|---|
1998 | 10.1007/978-3-7091-6355-9_14 | Tool Support for System Specification, Development and Verification |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
10 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| stephan pfab | 1 | 0 | 0.34 |
| harald rues | 2 | 0 | 0.34 |
| Sam Owre | 3 | 1323 | 104.39 |
| friedrich w von henke | 4 | 0 | 0.34 |