Stem finess$ (all stems)
2 papers:
- DAC-2006-BergeronFPMAS #testing #verification
- Building a verification test plan: trading brute force for finesse (JB, HF, AP, RSM, CA, DS), pp. 805–806.
- SAC-1998-BerryK #coordination #distributed
- Open, distributed coordination with finesse (AB, SMK), pp. 178–184.