Towards a Generic Verification Methodology for System Models

@inproceedings{pub6587,
    author = {

Wille, Robert
 and 

Gogolla, Martin
 and 

Soeken, Mathias
 and 

Kuhlmann, Mirco
 and 

Drechsler, Rolf
},
    title = {Towards a Generic Verification Methodology for System Models},
    booktitle = {Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-13), March 18-22, Grenoble, France},
    year = {2013},
    publisher = {IEEE}
}