Suchergebnisse - Merz, Stephan

  • Treffer 1 - 2 von 2
Treffer weiter einschränken
  1. 1
    Buchumschlag

    Validating Traces of Distributed Programs Against TLA+ Specifications Autoría: Cirstea, Horatiu, Kuppe, Markus A., Loillier, Benjamin, Merz, Stephan

    Veröffentlicht 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    VerifyThis Casino Challenge Artifact Repository Autoría: Weigl, Alexander, Merz, Stephan, Schiffl, Jonas, Becker-Kupczok, Jonas, Eilers, Marco, Ahrendt, Wolfgang, Monti, Raul E., Bliudze, Simon

    Veröffentlicht 2025
    Fuente: Zenodo
    Tipo de material: Recurso digital
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: