Streamlining progress-based derivations of concurrent programs

B. Dongol, A.J. Mooij

    Onderzoeksoutput: Boek/rapport › Rapport › Academic

    Originele taal-2Engels
    Plaats van productieBrisbane
    UitgeverijQueensland University
    Aantal pagina's17
    StatusGepubliceerd - 2006

    Publicatie series

    NaamTechnical Report
    VolumeSSE-2006-06

    Andere bestanden en links

    Citeer dit