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


Vol-1524/paper15⫷Vol-1524/paper16⫸Vol-1524/paper19
Dennis Wagelaar

The ATL/EMFTVM Solution to the Train Benchmark Case