Executable specifications for discrete event systems

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

    Research output: Book/ReportReportAcademic

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

    Publication series

    NameComputing science notes
    Volume8817

    Cite this