root.skip-to-content
Suchen
Entdecken
en
English
Anmelden
Mitgliedsnummer (ohne Präfix)
Passwort
Anmelden
Registrieren
Passwort vergessen?
Startseite Digitale Bibliothek
Lecture Notes in Informatics
Proceedings
Software Engineering
P227 - Software Engineering 2014
Auflistung nach Autor:in
P227 - Software Engineering 2014
https://dl.gi.de/handle/20.500.12116/30946
mehr...
Auflistung nach:
Neueste Veröffentlichungen
Erscheinungsjahr
Autor/in
Titel
Schlagwort
Neueste Veröffentlichungen
Erscheinungsjahr
Autor/in
Titel
Schlagwort
Auflistung P227 - Software Engineering 2014 nach Autor:in "Beyer, Dirk"
Los
Filter zurücksetzen
1 - 2 von 2
Treffer pro Seite
1
5
10
20
40
60
80
100
Sortieroptionen
Aufsteigend
Absteigend
Konferenzbeitrag
Precision reuse in CPAchecker
(
Software Engineering 2014,
2014
)
Beyer, Dirk
;
Löwe, Stefan
;
Novikov, Evgeny
;
Stahlbauer, Andreas
;
Wendler, Philipp
mehr...
Konferenzbeitrag
Reusing information in multi-goal reachability analyses
(
Software Engineering 2014,
2014
)
Beyer, Dirk
;
Holzer, Andreas
;
Tautschnig, Michael
;
Veith, Helmut
mehr...
