EMFeR: Model Checking for Object Oriented (EMF) Models.

Christoph Eickhoff, Martin Lange, Simon-Lennert Raesch, Albert Zndorf

Browse the full MODELSWARD paper archive.