Shahid Khan 0002, Joost-Pieter Katoen, Marc Bouissou. A Compositional Semantics for Repairable BDMPs. In António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira 0005, editors, Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings. Volume 12234 of Lecture Notes in Computer Science, pages 82-98, Springer, 2020. [doi]
Abstract is missing.