Language
Publisher
Subjects
- All ( )
- Free, open source ( )
4Result(s)for '"Beckert Bernhard"'
Resource list
By Beckert Bernhard Paulson Lawrence in Journal of Automated Reasoning
ISSN:0168-7433|38|1-3|1-2
Springer Publishing Company (2007)
Access to resources Favorite 15.236048
By Aichernig Bernhard Beckert Bernhard in Software and Systems Modeling (SoSyM)
ISSN:1619-1366|7|3|255-256
Springer Publishing Company (2008)
Access to resources Favorite 15.236048
By Beckert Bernhard Hähnle Reiner in Journal of Automated Reasoning
ISSN:0168-7433|45|4|327-329
Springer Publishing Company (2010)
Access to resources Favorite 14.281328
By Beckert Bernhard Gladisch Christoph Tyszberowicz Shmuel Yehudai Amiram in International Journal of Systems Assurance Engineering and Management
ISSN:0975-6809|2|2|97-113
Springer Publishing Company (2011)
Access to resources Favorite 9.522531