Vol-2025⫷ Vol-2026 ⫸Vol-2027
urn:nbn:de:0074-2026-0


Vol-2026/paper14⫷Vol-2026/paper4⫸Vol-2026/paper7
Sinem GetirDuc Anh Vu 0001Francois PeveraliDaniel Strüber 0001Timo Kehrer

State Elimination as Model Transformation Problem