Another variant of the Schorr-Waite algorithm and its correctnessproof - an exercise in formulation

M.M. Fokkinga, P.G. Jansen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationNGI-SION 1986 Symposium Stimulerende Informatica
    PublisherStichting Informatica Congressen
    Pages445-455
    Number of pages11
    ISBN (Print)90-5005-007-7
    Publication statusPublished - 1986
    Event4e NGI-SION Symposium 1986: Stimulerende Informatica - Utrecht, Netherlands
    Duration: 2 Apr 19863 Apr 1986
    Conference number: 4

    Conference

    Conference4e NGI-SION Symposium 1986
    Country/TerritoryNetherlands
    CityUtrecht
    Period2/04/863/04/86

    Keywords

    • EWI-7239

    Cite this