IC3 software model checking

Heidelberg [u.a.] / Springer (2019) [Fachzeitschriftenartikel]

International journal on software tools for technology transfer
Seite(n): 1-27

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Lange, Tim Felix
Neuhäußer, Martin R.
Noll, Thomas
Katoen, Joost-Pieter

Identifikationsnummern