- Record: found
- Abstract: not found
- Book Chapter: not found
Computer Aided Verification
PAT: Towards Flexible Verification under Fairness
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references7
- Record: found
- Abstract: not found
- Article: not found
Proving the Correctness of Multiprocess Programs
L. Lamport (1977)
- Record: found
- Abstract: not found
- Book Chapter: not found
Impartiality, justice and fairness: The ethics of concurrent termination
D. Lehmann, A. Pnueli, J. Stavi (1981)
- Record: found
- Abstract: not found
- Book Chapter: not found
Self-stabilizing Leader Election in Networks of Finite-State Anonymous Agents
Michael Fischer, Hong Jiang (2006)