Proving mutual exclusion with process algebra / by E.R. Nieuwland
mainEntity
Proving mutual exclusion with process algebra / by E.R. Nieuwland
about
author
inLanguage
mainEntityOfPage
name
Proving mutual exclusion with process algebra
numberOfPages
publication
sameAs
label
Proving mutual exclusion with process algebra / by E.R. Nieuwland