TU Darmstadt / ULB / TUbiblio

Automating Verification of Loops by Parallelization

Gedell, Tobias ; Hähnle, Reiner
Hermann, Miki ; Voronkov, Andrei (eds.) :

Automating Verification of Loops by Parallelization.
[Online-Edition: https://doi.org/10.1007/11916277_23]
In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings. In: Lecture Notes in Computer Science , 4246 . Springer
[Konferenz- oder Workshop-Beitrag], (2006)

Offizielle URL: https://doi.org/10.1007/11916277_23
Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2006
Herausgeber: Hermann, Miki ; Voronkov, Andrei
Autor(en): Gedell, Tobias ; Hähnle, Reiner
Titel: Automating Verification of Loops by Parallelization
Sprache: Deutsch
Reihe: Lecture Notes in Computer Science
Band: 4246
Verlag: Springer
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik > Software Engineering
20 Fachbereich Informatik
Veranstaltungstitel: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
Hinterlegungsdatum: 27 Apr 2018 10:50
Offizielle URL: https://doi.org/10.1007/11916277_23
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen