J. W. Gambles

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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

Coauthor Index

1 Phillip J. Windley [1] [2]