Work

Qualitative Logics and Equivalences for Probabilistic Systems

Year: 2007

Type: conference-paper

Source: International Conference on the Quantitative Evaluation of Systems (QEST)

DOI: 10.1109/qest.2007.15

Authors: Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay

Institutions: University of California, Santa Cruz, University of California, Berkeley, University of Naples Federico II, University of Liège

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2150338465

FWCI: 0.522

Cites: 31

Cited by: 3

Related to: 10