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

by M Kwiatkowska, G Norman
Venue:In Proceedings of the Mathematical Foundations of Computer Science (MFCS), number 1113 in Lecture Notes in Computer Science