Verifying sequentially consistent memory

E. Brinksma, J. Davies, R.T. Gerth, S. Graf, W. Janssen, B. Jonsson, S. Katz, G. Lowe, M. Poel, A. Pnueli, C. Rump, J. Zwiers

    Onderzoeksoutput: Boek/rapportRapportPopulair

    325 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's160
    StatusGepubliceerd - 1994

    Publicatie series

    NaamComputing science reports
    Volume9444
    ISSN van geprinte versie0926-4515

    Citeer dit