Vol-1523⫷ Vol-1524 ⫸Vol-1525
urn:nbn:de:0074-1524-0


Vol-1524/paper8⫷Vol-1524/paper15⫸Vol-1524/paper16
Tassilo Horn

Solving the TTC Train Benchmark Case with FunnyQT