TY  - BOOK
A2  - edited by Davide Sangiorgi, Jan Rutten.
A3  - Sangiorgi, Davide
A3  - Rutten, Johannes Josephus Martinus Matheus
NV  - XIII, 326 s. :
PY  - 2012
SN  - 9781107004979
TI  - Advanced topics in bisimulation and coinduction /
VL  - 52
ER  -