https://iccwbo.org/dispute-resolution-services/drs-services/arbitration/case/case-id-00346/
Case ID : 00346 - ICC - International Chamber of Commerce
caseid00346iccinternational
https://arxiv.org/abs/1511.00346
[1511.00346] Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices)
Abstract page for arXiv paper 1511.00346: Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices)