Ralf Teusner, Gregor Gabrysiak, Stefan Richter, Stefan Kleff
Interactive Strategy-Based Validation of Behavioral Models
GT-VMT, 2013.
@article{GT-VMT-2013-TeusnerGRK,
author = "Ralf Teusner and Gregor Gabrysiak and Stefan Richter and Stefan Kleff",
ee = "http://journal.ub.tu-berlin.de/eceasst/article/view/843",
journal = "{Electronic Communications of the EASST}",
title = "{Interactive Strategy-Based Validation of Behavioral Models}",
volume = 58,
year = 2013,
}