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


Vol-2026/paper10⫷Vol-2026/paper11⫸Vol-2026/paper12
Alexander WeidtAlbert Zündorf

The SDMLib Solution to the TTC 2017 State Elimination Case