%0 Generic

%T Automated Reasoning: CCE: Testing Ground Joinability

%A Avenhaus, Jürgen

%A Löchner, Bernd

%I Springer Berlin Heidelberg

%@ 0302-9743

%@ 1611-3349

%D 2001

%C Springer Berlin Heidelberg

%U http://slubdd.de/katalog?TN_libero_mab2

Download citation