DMCA

Coinductive proof principles for stochastic processes (2006)

by Dexter Kozen
Venue:Proc. 21st Symp. Logic in Computer Science (LICS’06
Citations:3 - 2 self