Model Repair Revamped

Češka, Milan; Dehnert, Hans Christian; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter

Cham : Springer International Publishing (2019)
Contribution to a book

In: From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
Page(s)/Article-Nr.: 107-125


  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]