By Letz Reinhold   Stenz Gernot   in Journal of Automated Reasoning

ISSN:0168-7433|38|1-3|79-126

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 17.769257

By Ziemer Sven   Stenz Gernot   in Aircraft Engineering

ISSN:0002-2667|84|3|133-139

Emerald Group Publishing Ltd‎(2012)‎

Access to resources Favorite 17.769257