The VSE Refinement Method in HETS

@inproceedings{pub4457,
    author = {

Codescu, Mihai
 and 

Langenstein, Bruno
 and 

Maeder, Christian
 and 

Mossakowski, Till
},
    editor = {

Breitman, K.
 and 

Cavalcanti, A.
},
    title = {The VSE Refinement Method in HETS},
    booktitle = {Proceedings of the 11th International Conference on Formal Engineering Methods. International Conference on Formal Engineering Methods (ICFEM-2009), December 9-12, Rio de Janeiro, Brazil},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2009},
    volume = {5885},
    publisher = {Springer}
}