From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution).

D. Dietsch, M. Heizmann, D. Klumpp, F. Schüssele, и A. Podelski. TACAS (2), том 13994 из Lecture Notes in Computer Science, стр. 582-587. Springer, (2023)

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.

Lothar Schüssele

Andrea Schüssele

Thomas Gregor Frank

Systemische Inflammationsmarker und Koronarkalzifizierungen im Mehrzeilenspiral-Computertomographen bei Patienten mit Verdacht auf koronare HerzkrankheitT. Frank. Uni Erlangen-Nürnberg, (2009)

Peter Franke

Designing embodied interactive software agents for e-learning: principles, components, and rolesP. Franke. Uni Marburg, (2008)

Frank Frank

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

Petrification: Software Model Checking for Programs with Dynamic Thread Management.M. Heizmann, D. Klumpp, L. Nitzke, и F. Schüssele. VMCAI (2), том 14500 из Lecture Notes in Computer Science, стр. 3-25. Springer, (2024)Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution).D. Dietsch, M. Heizmann, A. Nutz, C. Schätzle, и F. Schüssele. TACAS (2), том 12079 из Lecture Notes in Computer Science, стр. 418-422. Springer, (2020)Ultimate GemCutter and the Axes of Generalization - (Competition Contribution).D. Klumpp, D. Dietsch, M. Heizmann, F. Schüssele, M. Ebbinghaus, A. Farzan, и A. Podelski. TACAS (2), том 13244 из Lecture Notes in Computer Science, стр. 479-483. Springer, (2022)Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution).M. Heizmann, M. Barth, D. Dietsch, L. Fichtner, J. Hoenicke, D. Klumpp, M. Naouar, T. Schindler, F. Schüssele, и A. Podelski. TACAS (2), том 13994 из Lecture Notes in Computer Science, стр. 577-581. Springer, (2023)Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution).D. Dietsch, M. Heizmann, D. Klumpp, F. Schüssele, и A. Podelski. TACAS (2), том 13994 из Lecture Notes in Computer Science, стр. 582-587. Springer, (2023)Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version).M. Heizmann, D. Klumpp, F. Schüssele, и L. Nitzke. CoRR, (2023)Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution).F. Schüssele, M. Bentele, D. Dietsch, M. Heizmann, X. Jiang, D. Klumpp, и A. Podelski. TACAS (3), том 14572 из Lecture Notes in Computer Science, стр. 418-423. Springer, (2024)

BibSonomy

Disambiguation