Model Repair Revamped

Cham / Springer International Publishing (2019) [Contribution to a book]

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): 107-125


Selected Authors

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