Publication | Open Access
Fairness assumptions for CSP in a temporal logic framework
34
Citations
0
References
1983
Year
EngineeringFairness AssumptionsAutomated ReasoningAlgorithmic FairnessFormal MethodsFair Resource AllocationComputer ScienceTemporal LogicFormal VerificationMechanism Design
No additional data available for this publication yet. Check back later!