Verfasser Suchresultate :: Subito Katalog

1

On Symmetry and Quantification: A New Approach to Verify Distributed Protocols

von Goel, Aman
Veröffentlicht in NFM (13. : 2021 : Online) NASA Formal Methods (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

AVR: Abstractly Verifying Reachability

von Goel, Aman
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: