"Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems with ..."

Ali Ebnenasir, Alex P. Klinkhamer (2021)

Details and statistics

DOI: 10.1109/TSE.2019.2901485

access: closed

type: Journal Article

metadata version: 2021-04-07

a service of  Schloss Dagstuhl - Leibniz Center for Informatics