Property checking of PI-bus modules

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

Original language	English
Title of host publication	Proc. ProRISC 99, 10th Annual Workshop on Circuits, Systems and Signal Processing
Editors	J.P. Veen
Place of Publication	Utrecht, Netherlands
Publisher	STW Technology Foundation
Pages	343-354
ISBN (Print)	90-73461-18-9
Publication status	Published - 1999
Event	1999 Annual Workshop on Circuits, Systems and Signal Processing (ProRISC 1999) - Mierlo, Netherlands Duration: 25 Nov 1999 → 26 Nov 1999 Conference number: 10

Workshop	1999 Annual Workshop on Circuits, Systems and Signal Processing (ProRISC 1999)
Abbreviated title	ProRISC 99
Country/Territory	Netherlands
City	Mierlo
Period	25/11/99 → 26/11/99

Cite this

@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 -