Deducing fairness properties in UNITY logic - a new completeness result
Journal
ACM Transactions on Programming Languages and Systems
Journal Volume
17
Journal Issue
1
Pages
16-27
Date Issued
1995
Author(s)
Bagrodia, Rajive L.
SDGs
Type
journal article