A Combination of Forward and Backward Reachability Analysis Methods.

Published in: ICFEM (2010)

Keyphrases