Branching time and orthogonal bisimulation equivalence
type: ProductModel
type: Book
type: CreativeWork
issued: 2000
about: p075636220
about: p190396571
author: p068653433
author: p159844932
contributor: p181009366
contributor: p074308513
language: en
is part of: p154978809
main entity of page: https://data.bibliotheken.nl/.well-known/genid/b9cc118b515eedebeeff0a5f2887ba39
number of pages: 38
label: Branching time and orthogonal bisimulation equivalence / J.A. Bergstra, A. Ponse, M.B. van der Zwaag