Davide Sangiorgi

  2011.  Cambridge University Press.

@book{bisimCoind11,
Author = {Sangiorgi, Davide},
Publisher = {Cambridge University Press},
Title = {An introduction to Bisimulation and Coinduction},
Year = 2011}
Tags:

Publication

— authors

Davide Sangiorgi

— status

published

— sort

book

BibTeX

— BibTeX ID
bisimCoind11
— BibTeX category
book

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY