Doorgaan naar hoofdnavigatie Doorgaan naar zoeken Ga verder naar hoofdinhoud

Proving termination of parallel programs

  • K.R. Apt
  • , F.S. Boer, de
  • , E.-R. Olderog

Onderzoeksoutput: Boek/rapport › Rapport › Academic

255 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's7
StatusGepubliceerd - 1990

Publicatie series

NaamComputing science notes
Volume9013

Toegang tot document

  • 8934921Definitieve gepubliceerde versie, 274 KB

    Citeer dit