Choice quantification in process algebra
type: CreativeWork
type: ProductModel
type: Book
issued: 2002
about: p113088019
about: p077605403
about: p077605306
associated media: http://dare.uva.nl/document/61763
author: p161402836
book format: EBook
description: Auteursnaam op omslag: Bas Luttik
description: Proefschrift Universiteit van Amsterdam
language: en
is based on: p237913720
is part of: p290814685
isbn: 9090156240
main entity of page: https://data.bibliotheken.nl/.well-known/genid/30d92a08e5c96be7c9d75c9ffc1d57eb
number of pages: 159
label: Choice quantification in process algebra / Sebastiaan Pascal Luttik