Doorgaan naar hoofdnavigatie Doorgaan naar zoeken Ga verder naar hoofdinhoud

Executable specifications for discrete event systems

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

    Onderzoeksoutput: Boek/rapport › Rapport › Academic

    114 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's21
    StatusGepubliceerd - 1988

    Publicatie series

    NaamComputing science notes
    Volume8817

    Toegang tot document

    • 8930816Definitieve gepubliceerde versie, 573 KB

      Citeer dit