@incollection{CAF11,
title = {Efficient Bounded Reachability Computation for Rectangular Automata },
author = {Chen, Xin and Abraham, Erika and Frehse, Goran},
year = {2011},
booktitle = {Reachability Problems},
pages = {139--152},
publisher = {Springer},
series = {LNCS},
volume = {6945},
team = {TEMPO},
}
