Interval-based Modelling with Constraints Propagation

A Dovier, M Farenzena, A Fusiello
2005-01-01
Cite
Type
Conference paper