Back and forth bisimulations / R. De Nicola, U. Montanari, F.W. Vaandrager
type: Book
type: CreativeWork
type: ProductModel
issued: 1990
about: p075621606
about: p075684659
author: p075404001
author: p084278358
contributor: p068814909
contributor: p07206806X
language: en
is part of: p840821077
main entity of page: https://data.bibliotheken.nl/.well-known/genid/53ef5ef4417e18f9f7f523cf41ec7eb6
name: Back and forth bisimulations
number of pages: 14