A compositional proof theory for fault tolerant real-time distributed systems

H.J.J.H. Schepers, R.T. Gerth

    Onderzoeksoutput: Boek/rapportRapportAcademic

    71 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's31
    StatusGepubliceerd - 1993

    Publicatie series

    NaamComputing science notes
    Volume9325

    Citeer dit