Dexter Kozen, Nicholas Ruozzi. Applications of Metric Coinduction. In Proc. 2nd Conf. Algebra and Coalgebra in Computer Science (CALCO 2007), Mossakowski T. et al. (ed.), Lecture Notes in Computer Science, Volume 4624, Pages 327-341, August 2007.
[ Coinduction ]
@InProceedings{koru2007,
Author = {Kozen, Dexter and Ruozzi, Nicholas},
Title = {Applications of Metric Coinduction},
BookTitle = {Proc. 2nd Conf. Algebra and Coalgebra in Computer Science (CALCO 2007)},
editor = {et al, Mossakowski T.},
Volume = {4624},
Pages = {327--341},
Series = {Lecture Notes in Computer Science},
Publisher = {Springer},
Month = {August},
Year = {2007}
}
Get EndNote Reference (.ref)