|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
10 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Another Look at LTL Model Checking |
Edmund M. Clarke |
1997 |
10 | 1 |
p. 47-71 25 p. |
article |
|
| 2 | Another Look at LTL Model Checking |
Clarke, Edmund M. |
1997 |
10 | 1 |
p. 47-71 |
article |
|
| 3 | Editorial |
Edmund Clarke |
1997 |
10 | 1 |
p. 5-5 1 p. |
article |
|
| 4 | Editorial |
Clarke, Edmund |
1997 |
10 | 1 |
p. 5 |
article |
|
| 5 | Formal Verification of a Distributed Computer System |
M. Merritt |
1997 |
10 | 1 |
p. 93-125 33 p. |
article |
|
| 6 | Formal Verification of a Distributed Computer System |
Merritt, M. |
1997 |
10 | 1 |
p. 93-125 |
article |
|
| 7 | Generating Validation Feedback for Automatic Interpretation of Informal Requirements |
W.R. Cyre |
1997 |
10 | 1 |
p. 73-92 20 p. |
article |
|
| 8 | Generating Validation Feedback for Automatic Interpretation of Informal Requirements |
Cyre, W.R. |
1997 |
10 | 1 |
p. 73-92 |
article |
|
| 9 | Multiway Decision Graphs for Automated Hardware Verification |
F. Corella |
1997 |
10 | 1 |
p. 7-46 40 p. |
article |
|
| 10 | Multiway Decision Graphs for Automated Hardware Verification |
Corella, F. |
1997 |
10 | 1 |
p. 7-46 |
article |
10 results found