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


Vol-1524/paper19⫷Vol-1524/paper22
Filip Krikava

Solving the TTC'15 Train Benchmark Case Study with SIGMA