By Stärk Robert   Schmid Joachim   in Journal of Automated Reasoning

ISSN:0168-7433|30|3-4|323-361

Springer Publishing Company ‎(2003)‎

Access to resources Favorite 12.064024

By Schmid Joachim   König Jürgen   Just Alar   in Structural Engineering International

ISSN:1683-0350|22|4|514-522

International Association for Bridge and Structural Engineering‎(2012)‎

Access to resources Favorite 8.846888