A Real-Time Duration Semantics for Circuits

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	TAU'92: 1992 Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Princeton Univ., NJ
Publisher	ACM/SIGDA
Publication date	1992
Publication status	Published - 1992
Event	TAU'92: 1992 Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, - Princeton Univ., NJ Duration: 1 Jan 1992 → …

Conference	TAU'92: 1992 Workshop on Timing Issues in the Specification and Synthesis of Digital Systems,
City	Princeton Univ., NJ
Period	01/01/1992 → …

OpenUrl availability

@inproceedings{0122a9d6d30a46c0a163464f6907a125,

title = "A Real-Time Duration Semantics for Circuits",

author = "Hansen, \{Michael Reichhardt\} and Zhou Chaochen and J{\o}rgen Staunstrup",

year = "1992",

language = "English",

booktitle = "TAU'92: 1992 Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Princeton Univ., NJ",

publisher = "ACM/SIGDA",

note = "TAU'92: 1992 Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, ; Conference date: 01-01-1992",

}

TY - GEN

T1 - A Real-Time Duration Semantics for Circuits

AU - Hansen, Michael Reichhardt

AU - Chaochen, Zhou

AU - Staunstrup, Jørgen

PY - 1992

Y1 - 1992

M3 - Article in proceedings

BT - TAU'92: 1992 Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Princeton Univ., NJ

PB - ACM/SIGDA

T2 - TAU'92: 1992 Workshop on Timing Issues in the Specification and Synthesis of Digital Systems,

Y2 - 1 January 1992

ER -