Ghent University Academic Bibliography

Advanced

Theorem Provers in Circuit Design

V STAVRIDOU, T MELHAM and Raymond Boute (1992)
Please use this url to cite or link to this publication:
editor
V STAVRIDOU, T MELHAM and
organization
year
type
bookEditor
publication status
published
subject
pages
360 p pages
publisher
North-Holland
ISBN
0-444-89686-4
UGent publication?
yes
classification
B3
id
314603
handle
http://hdl.handle.net/1854/LU-314603
date created
2005-06-14 11:44:00
date last changed
2016-12-19 15:40:41
@book{314603,
  editor       = {STAVRIDOU, V and MELHAM, T and Boute, Raymond},
  isbn         = {0-444-89686-4},
  pages        = {360 p},
  publisher    = {North-Holland},
  title        = {Theorem Provers in Circuit Design},
  year         = {1992},
}

Chicago
STAVRIDOU, V, T MELHAM, and Raymond Boute, eds. 1992. “Theorem Provers in Circuit Design”. North-Holland.
APA
STAVRIDOU, V., MELHAM, T., & Boute, R. (Eds.). (1992). Theorem Provers in Circuit Design. North-Holland.
Vancouver
1.
STAVRIDOU V, MELHAM T, Boute R, editors. Theorem Provers in Circuit Design. North-Holland; 1992.
MLA
STAVRIDOU, V, T MELHAM, and Raymond Boute, eds. “Theorem Provers in Circuit Design.” 1992 : n. pag. Print.