Deducing fairness properties in UNITY logic

YIH-KUEN TSAYBagrodia, Rajive L.Rajive L.Bagrodia2018-09-102018-09-101995http://www.scopus.com/inward/record.url?eid=2-s2.0-0029216423&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/314285Deducing fairness properties in UNITY logic - a new completeness resultjournal article10.1145/200994.200997