A Mechanical Formalization of Several Fairness Notions
Authors:
David M. Goldschlag
Affiliations:
-
Venue:
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Year:
1991
Citing
0
Cited
1
A Mechanization of Unity in PC-NQTHM-92
Journal of Automated Reasoning
Quantified Score
Hi-index
0.00
Visualization
Abstract