Configuration Monitor Synthesis.

Maximilian A. Khl, Clemens Dubslaff, Holger Hermanns

Browse the full ATVA paper archive.