TY - CONF AU - Engels, Gregor AU - Küster, Jochen AU - Heckel, Reiko AU - Lohmann, Marc ID - 7911 IS - 7 T2 - Proceedings of the conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland) TI - Model Based Verification and Validation of Properties VL - 82 ER -