"An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric ..."

Sabino Francesco Roselli, Martin Fabian, Knut Åkesson (2021)

Details and statistics

DOI:

access: open

type: Informal or Other Publication

metadata version: 2021-07-05

a service of  Schloss Dagstuhl - Leibniz Center for Informatics