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.

DOI

10.1145/200994.200997

URI

http://www.scopus.com/inward/record.url?eid=2-s2.0-0029216423&partnerID=MN8TOARS

http://scholars.lib.ntu.edu.tw/handle/123456789/314285

Type

journal article