Invariant preservation in iterative modeling.

Levi Lcio, Eugene Syriani, Moussa Amrani, Qin Zhang, Hans Vangheluwe

Browse the full MODELS paper archive.