Branching bisimulation for probabilistic systems: characteristics and decidability / S. Andova, T.A.C. Willemse
type: Book
type: CreativeWork
type: ProductModel
has derivative: p296517437
issued: 2005
about: p075626748
about: p190396571
author: p12670144X
contributor: p184562953
contributor: p186007140
language: en
is part of: p126043515
main entity of page: https://data.bibliotheken.nl/.well-known/genid/cc1be8fc61e484f7e6f1fddfdf5a232a
name: Branching bisimulation for probabilistic systems: characteristics and decidability
number of pages: 32