OpenAlex
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness
Work
Year: 2006
Type: book-chapter
Source: Lecture notes in computer science
Authors Christel Baier, Nathalie Bertrand, Ph. Schnoebelen
Institutions University of Bonn, Centre National de la Recherche Scientifique
Cites: 42
Cited by: 4
Related to: 10
FWCI: 0.386
Citation percentile (by year/subfield): 65.56
Topic: Formal Methods in Verification
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze