TITLE     : From EU projects to a family of model checkers. From Kandinsky to KandISTI
AUTHOR(S) : Ter Beek M H, Gnesi S, Mazzanti F
TYPE      : Contribution to book
YEAR      : 2015
CODE      : 327846

*** DO NOT EDIT THIS FILE ***