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

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

    Research output: Book/ReportReportAcademic

    128 Downloads (Pure)
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Number of pages31
    Publication statusPublished - 1993

    Publication series

    NameComputing science notes
    Volume9325

    Cite this