TY  - RPRT
TI  - Applications of Metric Coinduction
AU  - Dexter Kozen
AU  - Nicholas Ruozzi
PY  - 2009
DO  - 10.2168/lmcs-5(3:10)2009
UR  - https://arxiv.org/abs/0908.2793
ID  - 0908.2793
ER  -