Breaking the Limits of Redundancy Systems Analysis

Research output: Contribution to journal › Article › Academic

Access to Document

@article{173e9c0999924d41b39632c39bfd0b2d,

title = "Breaking the Limits of Redundancy Systems Analysis",

author = "Clemens Dubslaff and Kai Ding and Andrey Morozov and Christel Baier and Klaus Janschek",

year = "2019",

language = "English",

volume = "abs/1912.05364",

journal = "CoRR",

issn = "2331-8422",

publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",

}