Auflistung nach Autor "Denninger, Oliver"
Anzeige der Dokumente 1-2 von 2
-
Holistische Verifikation von Hybriden Quantenprogrammen durch Software Bounded Model Checking
Klamroth,Jonas; Scheerer, Max; Denninger, Oliver
1825-1830 -
Software Engineering am FZI Forschungszentrum Informatik
Henß, Jörg; Denninger, Oliver
233--234