A formal model for system specification

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

    Onderzoeksoutput: Boek/rapportRapportAcademic

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

    Publicatie series

    NaamComputing science notes
    Volume8808

    Citeer dit