A formal model for system specification

K.M. Hee, van, G.J.P.M. Houben, L.J.A.M. Somers, M. Voorhoeve

    Research output: Book/ReportReportAcademic

    62 Downloads (Pure)
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Number of pages23
    Publication statusPublished - 1988

    Publication series

    NameComputing science notes
    Volume8808

    Cite this