Property checking of PI-bus modules

R.P. Nier, de

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

Originele taal-2	Engels
Titel	Proc. ProRISC 99, 10th Annual Workshop on Circuits, Systems and Signal Processing
Redacteuren	J.P. Veen
Plaats van productie	Utrecht, Netherlands
Uitgeverij	STW Technology Foundation
Pagina's	343-354
ISBN van geprinte versie	90-73461-18-9
Status	Gepubliceerd - 1999
Evenement	1999 Annual Workshop on Circuits, Systems and Signal Processing (ProRISC 1999) - Mierlo, Nederland Duur: 25 nov. 1999 → 26 nov. 1999 Congresnummer: 10

Workshop	1999 Annual Workshop on Circuits, Systems and Signal Processing (ProRISC 1999)
Verkorte titel	ProRISC 99
Land/Regio	Nederland
Stad	Mierlo
Periode	25/11/99 → 26/11/99
Ander	ProRISC 99, 10th Annual Workshop on Circuits, Systems and Signal Processing, Mierlo, Netherlands, 25-26 November 1999

Citeer dit

@inproceedings{56882aecc3534bc19ce59c4784071214,

title = "Property checking of PI-bus modules",

author = "{Nier, de}, R.P.",

year = "1999",

language = "English",

isbn = "90-73461-18-9",

pages = "343--354",

editor = "J.P. Veen",

booktitle = "Proc. ProRISC 99, 10th Annual Workshop on Circuits, Systems and Signal Processing",

publisher = "STW Technology Foundation",

note = "1999 Annual Workshop on Circuits, Systems and Signal Processing (ProRISC 1999), ProRISC 99 ; Conference date: 25-11-1999 Through 26-11-1999",

}

TY - GEN

T1 - Property checking of PI-bus modules

AU - Nier, de, R.P.

N1 - Conference code: 10

PY - 1999

Y1 - 1999

M3 - Conference contribution

SN - 90-73461-18-9

SP - 343

EP - 354

BT - Proc. ProRISC 99, 10th Annual Workshop on Circuits, Systems and Signal Processing

A2 - Veen, J.P.

PB - STW Technology Foundation

CY - Utrecht, Netherlands

T2 - 1999 Annual Workshop on Circuits, Systems and Signal Processing (ProRISC 1999)

Y2 - 25 November 1999 through 26 November 1999

ER -