Skip to content

Formalizing and Reasoning About Supply Chain Contracts Between Agents.

Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor

VenueCPADL
Year2023
ProceedingsPADL

Browse the full PADL paper archive.