Specification and verification of a circuit in ACP (revised version)

J.C.M. Baeten; F.W. Vaandrager

Specification and verification of a circuit in ACP (revised version)

J.C.M. Baeten, F.W. Vaandrager

Research output: Book/Report › Report › Popular

50 Downloads (Pure)

Original language	English
Place of Publication	Amsterdam
Publisher	Universiteit van Amsterdam
Number of pages	18
Publication status	Published - 1988

Publication series

Name	Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam
Volume	P8821

Bibliographical note

(Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam ; P8821)

Access to Document

588975Final published version, 1.61 MB

Cite this

@book{e1ce0bf84ad04aeeac0b2229c4a50f10,

title = "Specification and verification of a circuit in ACP (revised version)",

author = "J.C.M. Baeten and F.W. Vaandrager",

note = "(Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam ; P8821)",

year = "1988",

language = "English",

series = "Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam",

publisher = "Universiteit van Amsterdam",

}

TY - BOOK

T1 - Specification and verification of a circuit in ACP (revised version)

AU - Baeten, J.C.M.

AU - Vaandrager, F.W.

N1 - (Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam ; P8821)

PY - 1988

Y1 - 1988

M3 - Report

T3 - Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam

BT - Specification and verification of a circuit in ACP (revised version)

PB - Universiteit van Amsterdam

CY - Amsterdam

ER -