Specification and verification of a circuit in ACP

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

    Research output: Book/ReportReportPopular

    24 Downloads (Pure)
    Original languageEnglish
    Place of PublicationAmsterdam
    PublisherUniversiteit van Amsterdam
    Number of pages15
    Publication statusPublished - 1988

    Publication series

    NameReports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam
    VolumeP8803

    Bibliographical note

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

    Cite this

    Baeten, J. C. M., & Vaandrager, F. W. (1988). Specification and verification of a circuit in ACP. (Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam; Vol. P8803). Amsterdam: Universiteit van Amsterdam.
    Baeten, J.C.M. ; Vaandrager, F.W. / Specification and verification of a circuit in ACP. Amsterdam : Universiteit van Amsterdam, 1988. 15 p. (Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam).
    @book{22703382919b4f31a94f42f2ec6ee983,
    title = "Specification and verification of a circuit in ACP",
    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 ; P8803)",
    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",

    }

    Baeten, JCM & Vaandrager, FW 1988, Specification and verification of a circuit in ACP. Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam, vol. P8803, Universiteit van Amsterdam, Amsterdam.

    Specification and verification of a circuit in ACP. / Baeten, J.C.M.; Vaandrager, F.W.

    Amsterdam : Universiteit van Amsterdam, 1988. 15 p. (Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam; Vol. P8803).

    Research output: Book/ReportReportPopular

    TY - BOOK

    T1 - Specification and verification of a circuit in ACP

    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 ; P8803)

    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

    PB - Universiteit van Amsterdam

    CY - Amsterdam

    ER -

    Baeten JCM, Vaandrager FW. Specification and verification of a circuit in ACP. Amsterdam: Universiteit van Amsterdam, 1988. 15 p. (Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam).