Verfasser Suchresultate :: Subito Katalog

1

Global Guidance for Local Generalization in Model Checking

von Krishnan, Hari Govind Vediramana
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 2 (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: