By Küsters Ralf   Truderung Tomasz   in Journal of Automated Reasoning

ISSN:0168-7433|46|3-4|325-352

Springer Publishing Company ‎(2011)‎

Access to resources Favorite 16.789755

By Küsters Ralf   Molitor Ralf   in Studia Logica

ISSN:0039-3215|81|2|227-259

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 16.789755

By Backes Michael   Dürmuth Markus   Hofheinz Dennis   Küsters Ralf   in International Journal of Information Security (IJIS)

ISSN:1615-5262|7|2|155-169

Springer Publishing Company ‎(2008)‎

Access to resources Favorite 11.305583