Formal derivations of non-blocking multiprograms

A.J. Mooij

    Onderzoeksoutput: Boek/rapportRapportAcademic

    45 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's95
    StatusGepubliceerd - 2002

    Publicatie series

    NaamComputer science reports
    Volume0213
    ISSN van geprinte versie0926-4515

    Citeer dit