TITLE     : Statistical model checking for product lines
AUTHOR(S) : Ter Beek M H, Legay A, Lluch Lafuente A, Vandin A
TYPE      : Conference article
YEAR      : 2016
CODE      : 359180

*** DO NOT EDIT THIS FILE ***