TY
-
BOOK
AU
-
Rensink, Arend
AU
-
Gorrieri, Roberto
TI
-
Vertical bisimulation
PB
-
Inst. für Informatik
PY
-
1998
BT
-
Hildesheimer Informatik-Berichte ; 98,9
CY
-
Hildesheim
UR
-
http://slubdd.de/katalog?TN_libero_mab2
ER
-
Download citation