The SDMLib Solution to the TTC 2017 State Elimination Case. - Alexander Weidt; Albert Zündorf (TTC@STAF, 2017)

The SDMLib Solution to the TTC 2017 Families 2 Persons Case. - Albert Zündorf; Alexander Weidt (TTC@STAF, 2017)