Vol-1529⫷ Vol-1530 ⫸Vol-1531
urn:nbn:de:0074-1530-0


Vol-1530/paper1⫷Vol-1530/paper2⫸Vol-1530/paper3

Temporal Logic Specification and Analysis for Model Transformations