Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Analyzing Program Termination and Complexity Automatically with AProVE."
Treffer 1 von 1
|
|
| Link zu diesem Datensatz | https://d-nb.info/111955408X |
| Titel | Analyzing Program Termination and Complexity Automatically with AProVE / by Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Jera Hensel, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski, René Thiemann |
| Person(en) |
Giesl, Jürgen (Verfasser) Aschermann, Cornelius (Sonstige) Brockschmidt, Marc (Sonstige) Emmes, Fabian (Sonstige) Frohn, Florian (Sonstige) Fuhs, Carsten (Sonstige) Hensel, Jera (Sonstige) Otto, Carsten (Sonstige) Plücker, Martin (Sonstige) Schneider-Kamp, Peter (Sonstige) Ströder, Thomas (Sonstige) Swiderski, Stephanie (Sonstige) Thiemann, René (Sonstige) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Umfang/Format | Online-Ressource : online resource. |
| Persistent Identifier |
URN: urn:nbn:de:1111-2016111910456 DOI: 10.1007/s10817-016-9388-y |
| URL | http://dx.doi.org/10.1007/s10817-016-9388-y |
| Zeitliche Einordnung | Erscheinungsdatum: 2016 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Enthalten in: Journal of automated reasoning (21.10.2016: 1-29) |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 1 von 1
Administration
