Programmanalyse des XRTL Zwischencodes

Backes, Werner

doi:10.22028/D291-25838

Local TagsRelease HistoryDetailsSummary

Programmanalyse des XRTL Zwischencodes

Backes, W. (2004). Programmanalyse des XRTL Zwischencodes. PhD Thesis, Universität des Saarlandes, Saarbrücken. doi:10.22028/D291-25838.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-254E-7 Version Permalink: https://hdl.handle.net/21.11116/0000-000C-47B7-6

Genre: Thesis

Latex : {Programmanalyse des XRTL Zwischencodes}

Files

show Files

Locators

show

hide

Locator:
http://scidok.sulb.uni-saarland.de/volltexte/2005/456/ (Any fulltext) Open Access Green

Description:
-

OA-Status:
Green

Locator:
http://scidok.sulb.uni-saarland.de/doku/urheberrecht.php?la=de (Copyright transfer agreement) Open Access status unknown

Description:
-

OA-Status:
Not specified

Creators

show

hide

Creators:
Backes, Werner^{1, 2}, Author
Podelski, Andreas¹, Advisor
Wilhelm, Reinhard³, Referee

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045
2International Max Planck Research School, MPI for Informatics, Max Planck Society, Campus E1 4, 66123 Saarbrücken, DE, ou_1116551
3External Organizations, ou_persistent22

Content

show

Details

show

hide

Language(s): deu - German

Dates: Accepted: 2004-01-07Published Online: 2005-06-23Date issued: 2004

Publication Status: Issued

Pages: -

Publishing info: Saarbrücken : Universität des Saarlandes

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 279072
BibTex Citekey: BackesDiss2005
Other: Local-ID: C1256104005ECAFC-F7CE8EEF2522E595C1256FE3007F965D-BackesDiss2005
DOI: 10.22028/D291-25838
URN: urn:nbn:de:bsz:291-scidok-4566
Other: hdl:20.500.11880/25894

Degree: PhD

Event

show

Legal Case

show

Project information

show

Source

show