Structure and behaviour in hardware verification

K.G.W. Goossens

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

Structure and behaviour in hardware verification

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

1 Downloads (Pure)

Originele taal-2	Engels
Titel	Higher order logic theorem proving and its applications : proceedings of the 6th international workshop, HUG '93, August 11 - 13, 1993, Vancouver, B.C., Canada
Redacteuren	J.J. Joyce, C.J.H. Seger
Plaats van productie	London, UK
Uitgeverij	Springer
Pagina's	75-88
ISBN van geprinte versie	978-3-540-57826-0
DOI's	https://doi.org/10.1007/3-540-57826-9_126
Status	Gepubliceerd - 1993

Publicatie series

Naam	Lecture Notes in Computer Science
Volume	780
ISSN van geprinte versie	0302-9743

Toegang tot document

10.1007/3-540-57826-9_126

Citeer dit

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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 -