( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Using a Software Testing Technique to Improve Theorem Proving.

, и . FATES, том 2931 из Lecture Notes in Computer Science, стр. 30-41. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Reiner Hähnle

Lorenz Hähnle

Max Hähnle

Reinhard Hähnle

Barbara Hähnle

 

Другие публикации лиц с тем же именем

Automatic Loop Invariant Generation for Data Dependence Analysis., , и . FormaliSE@ICSE, стр. 34-45. ACM, (2022)Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study., , , , и . ESOCC, том 7592 из Lecture Notes in Computer Science, стр. 91-106. Springer, (2012)Context, Composition, Automation, and Communication - The C2AC Roadmap for Modeling and Simulation., , , , , , , , , и 2 other автор(ы). CoRR, (2023)Completeness for Linear Regular Negation Normal Form Inference Systems., , и . ISMIS, том 1325 из Lecture Notes in Computer Science, стр. 590-599. Springer, (1997)Ordered Resolution vs. Connection Graph Resolution., , и . IJCAR, том 2083 из Lecture Notes in Computer Science, стр. 182-194. Springer, (2001)Formal modeling and analysis of railway operations with active objects., , и . Sci. Comput. Program., (2018)Safer Parallelization., , , , , и . ISoLA (2), том 12477 из Lecture Notes in Computer Science, стр. 117-137. Springer, (2020)Engineering virtualized services., , , , и . NordiCloud, том 826 из ACM International Conference Proceeding Series, стр. 59-63. ACM, (2013)Provably Fair Cooperative Scheduling., и . Art Sci. Eng. Program., (2024)Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach., , , , , , , и . VORTEX@ECOOP/ISSTA, том 302 из EPTCS, стр. 1-15. (2018)