kozen2007b

Dexter Kozen. Coinductive Proof Principles for Stochastic Processes. Logical Methods in Computer Science, DOI: 10.2168/LMCS-3 (4:8) 2007, 3(4), 2007.

Keyword

[ Coinduction ]

Contact

D. Kozen

BibTex Reference

@article{kozen2007b,
   Author = {Kozen, Dexter},
   Title = {Coinductive Proof Principles for Stochastic Processes},
   Journal = {Logical Methods in Computer Science},
   Volume = {3},
   Number = {4},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)