Login / Signup

Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems.

He XuSven SchneiderHolger Giese
Published in: FASE (2024)
Keyphrases