Work

Automatic verification of real-time systems with discrete probability distributions

Year: 2002

Type: article

Source: Theoretical Computer Science

DOI: 10.1016/s0304-3975(01)00046-9

Authors: Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston

Institutions: University of Birmingham, University of Verona

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: Deutscher Akademischer Austauschdienst

OpenAlex ID: W2009280542

FWCI: 15.18

Cites: 43

Cited by: 333

Related to: 10