Automatic Refinement Checking for Formal System Models

@inproceedings{pub7416,
    author = {

Seiter, Julia
 and 

Wille, Robert
 and 

Kühne, Ulrich
 and 

Drechsler, Rolf
},
    title = {Automatic Refinement Checking for Formal System Models},
    booktitle = {Forum on Specification & Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, München, Germany},
    year = {2014},
    publisher = {o.A.}
}