The Heterogeneous Tool Set

@inproceedings{pub3902,
    author = {

Mossakowski, Till
 and 

Maeder, Christian
 and 

Lüttich, Klaus
},
    editor = {

Grumberg, Orna
 and 

Huth, Michael
},
    title = {The Heterogeneous Tool Set},
    booktitle = {TACAS 2007. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2007), 13th, befindet sich the European Joint Conferences on Theory and Practice of Software (ETAPS 2007), March 24-April 1, Braga, Portugal},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2007},
    volume = {4424},
    pages = {519--522},
    publisher = {Springer-Verlag}
}