Branching time and abstraction in bisimulation semantics
type: ProductModel
type: Book
type: CreativeWork
issued: 1991
about: p075619539
about: p075621606
author: p072142138
author: p075404001
contributor: p072544694
language: en
is part of: p840821077
main entity of page: https://data.bibliotheken.nl/.well-known/genid/487111fd22da2a8694b54cf61aa383dc
number of pages: 52
label: Branching time and abstraction in bisimulation semantics / R.J. van Glabbeek, W.P. Weijland