Choice quantification in process algebra / Sebastiaan Pascal Luttik
mainEntity
Choice quantification in process algebra / Sebastiaan Pascal Luttik
author
description
Auteursnaam op omslag: Bas Luttik
Proefschrift Universiteit van Amsterdam
inLanguage
isPartOf
isbn
9090156240
mainEntityOfPage
name
Choice quantification in process algebra
numberOfPages
publication
sameAs
label
Choice quantification in process algebra / Sebastiaan Pascal Luttik