RERS 2019: Combining Synthesis with Real-World Models.

Marc Jasper Malte Mues Alnis Murtovi Maximilian Schlüter Falk Howar Bernhard Steffen Markus Schordan Dennis Hendriks Ramon R. H. Schiffelers Harco Kuppens Frits W. Vaandrager

Published in: TACAS (3) (2019)

Keyphrases