@mastersthesis{geeraerts02comparison,
title =        "A Comparison of Various Backward Analyzers for Parametrized Concurrent Systems",
author =       "Gilles Geeraerts",
school =  	"Universit\'e Libre de Bruxelles",
year = 		"2002"
}