@dblp

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

, , and . FASE, volume 14573 of Lecture Notes in Computer Science, page 77-100. Springer, (2024)

Links and resources

Tags