IC3 software model checking

Lange, Tim Felix; Neuhäußer, Martin R.; Noll, Thomas; Katoen, Joost-Pieter (Corresponding author)

Berlin : Springer (2019, 2020)
Beitrag zu einem Tagungsband, Fachzeitschriftenartikel

In: International journal on software tools for technology transfer
Band: 22
Heft: 2
Seite(n)/Artikel-Nr.: 135-161

Identifikationsnummern