Automatic verification of real-time systems with discrete probability distributions (1999)

by Marta Kwiatkowska , Gethin Norman , Roberto Segala , Jeremy Sproston
Venue:Theoretical Computer Science
Citations:84 - 32 self

Document Versions

Automatic verification of real-time systems with discrete probability distributions –Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston — 1999 — Theoretical Computer Science
Automatic Verification of Real-Time Systems with Discrete Probability Distributions –Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston — 1999 — IN LNCS
Automatic Verification of Real-time Systems with Discrete Probability Distributions –Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston — 2000
Automatic Verification of Real-time Systems with Discrete Probability Distributions –Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston — 2000
Automatic Verification of Real-time Systems with Discrete Probability Distributions –Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston — 1999 — Theoretical Computer Science