Formalizing and Reasoning About Supply Chain Contracts Between Agents.
Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor
Browse the full PADL paper archive.
Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor
Browse the full PADL paper archive.