( en | de | ru )

 

Disambiguierung von "Schellhorn, Gerhard"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving.

, , und . SEFM, Volume 7041 von Lecture Notes in Computer Science, Seite 188-203. Springer, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Gerhard Schellhorn

Martin Schellhorn

Uwe Schellhorn

Matthias Schellhorn

Matthias Schellhorn

 

Weitere Publikationen von Autoren mit dem selben Namen

Verification of B+ trees by integration of shape analysis and interactive theorem proving., , und . Softw. Syst. Model., 14 (1): 27-44 (2015)Modularising Verification Of Durable Opacity., , , , , und . CoRR, (2020)ASM Refinement Preserving Invariants.. J. Univers. Comput. Sci., 14 (12): 1929-1948 (2008)Atomic actions, and their refinements to isolated protocols., und . Formal Aspects Comput., 22 (1): 33-61 (2010)KIV., und . Formal Development of Reactive Systems, Volume 891 von Lecture Notes in Computer Science, Springer, (1995)Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems., , und . ABZ, Volume 14010 von Lecture Notes in Computer Science, Seite 70-87. Springer, (2023)Formal Fault Tree Analysis - Practical Experiences., und . AVoCS, Volume 185 von Electronic Notes in Theoretical Computer Science, Seite 139-151. Elsevier, (2006)Simulating a Flash File System with CoreASM and Eclipse., , , , und . GI-Jahrestagung, Volume P-192 von LNI, Seite 355. GI, (2011)On the Refinement of Atomic Actions., und . REFINE@IFM, Volume 201 von Electronic Notes in Theoretical Computer Science, Seite 3-30. Elsevier, (2007)Brief Announcement: On Strong Observational Refinement and Forward Simulation., , , , und . DISC, Volume 209 von LIPIcs, Seite 55:1-55:4. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)