Skip to main navigation Skip to search Skip to main content

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/Report › Report › Academic

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

    Publication series

    NameComputing science notes
    Volume8817

    Access to Document

    • 8930816Final published version, 573 KB

      Cite this