![]() | ![]() |
| 1998 | ||
|---|---|---|
| 1 | Annette Bunker, Trent N. Larson, Michael D. Jones, Phillip J. Windley: Alexandria: A Tool for Hierarchical Verification. FMCAD 1998: 515-522 | |
| 1 | Annette Bunker | [1] |
| 2 | Michael D. Jones | [1] |
| 3 | Phillip J. Windley | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page