Probabilistic metric semantics for a simple language with recursion (1996)

Cached

Download Links

by Marta Kwiatkowska , Gethin Norman
Venue:Proc. Mathematical Foundations of Computer Science (MFCS), volume 1113 of Lecture Notes in Computer Science
Citations:17 - 5 self