| 1993 | ||
|---|---|---|
| 2 | J. W. Gambles, Phillip J. Windley: Reasoning about the VHDL Standard Logic Package Signal Data Type. CHDL 1993: 123-130 | |
| 1991 | ||
| 1 | J. W. Gambles, Phillip J. Windley: An HOL Theory for Logic States with Indeterminate Strengths. TPHOLs 1991: 96-103 | |
| 1 | Phillip J. Windley | [1] [2] |