Structure and behaviour in hardware verification

K.G.W. Goossens

doi:10.1007/3-540-57826-9_126

Structure and behaviour in hardware verification

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Downloads (Pure)

Original language	English
Title of host publication	Higher order logic theorem proving and its applications : proceedings of the 6th international workshop, HUG '93, August 11 - 13, 1993, Vancouver, B.C., Canada
Editors	J.J. Joyce, C.J.H. Seger
Place of Publication	London, UK
Publisher	Springer
Pages	75-88
ISBN (Print)	978-3-540-57826-0
DOIs	https://doi.org/10.1007/3-540-57826-9_126
Publication status	Published - 1993

Publication series

Name	Lecture Notes in Computer Science
Volume	780
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-57826-9_126

Cite this

Goossens, K. G. W. (1993). Structure and behaviour in hardware verification. In J. J. Joyce, & C. J. H. Seger (Eds.), Higher order logic theorem proving and its applications : proceedings of the 6th international workshop, HUG '93, August 11 - 13, 1993, Vancouver, B.C., Canada (pp. 75-88). (Lecture Notes in Computer Science; Vol. 780). Springer. https://doi.org/10.1007/3-540-57826-9_126

@inproceedings{d09f9195979e42deb54a43d7dda73a55,

title = "Structure and behaviour in hardware verification",

author = "K.G.W. Goossens",

year = "1993",

doi = "10.1007/3-540-57826-9_126",

language = "English",

isbn = "978-3-540-57826-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "75--88",

editor = "J.J. Joyce and C.J.H. Seger",

booktitle = "Higher order logic theorem proving and its applications : proceedings of the 6th international workshop, HUG '93, August 11 - 13, 1993, Vancouver, B.C., Canada",

address = "Germany",

}

Goossens, KGW 1993, Structure and behaviour in hardware verification. in JJ Joyce & CJH Seger (eds), Higher order logic theorem proving and its applications : proceedings of the 6th international workshop, HUG '93, August 11 - 13, 1993, Vancouver, B.C., Canada. Lecture Notes in Computer Science, vol. 780, Springer, London, UK, pp. 75-88. https://doi.org/10.1007/3-540-57826-9_126

Structure and behaviour in hardware verification. / Goossens, K.G.W.
Higher order logic theorem proving and its applications : proceedings of the 6th international workshop, HUG '93, August 11 - 13, 1993, Vancouver, B.C., Canada. ed. / J.J. Joyce; C.J.H. Seger. London, UK: Springer, 1993. p. 75-88 (Lecture Notes in Computer Science; Vol. 780).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Structure and behaviour in hardware verification

AU - Goossens, K.G.W.

PY - 1993

Y1 - 1993

U2 - 10.1007/3-540-57826-9_126

DO - 10.1007/3-540-57826-9_126

M3 - Conference contribution

SN - 978-3-540-57826-0

T3 - Lecture Notes in Computer Science

SP - 75

EP - 88

BT - Higher order logic theorem proving and its applications : proceedings of the 6th international workshop, HUG '93, August 11 - 13, 1993, Vancouver, B.C., Canada

A2 - Joyce, J.J.

A2 - Seger, C.J.H.

PB - Springer

CY - London, UK

ER -