Links und Funktionen
Sprachumschaltung

Navigationspfad
You are here: Home / Publikationen / Elimination of Ghost Variables in Program Logics


Inhaltsbereich

Export Bibliographical Entries

Select the format from the list below. Confirm by clicking Export.

Export

Please select the file format for bibliography export.


Export to native BibTeX format (with LaTeX escaping)
MS-DOS/Windows and UniX operating systems use a different ASCII sequence to indicate a line break. Depending on your favourite operating system, select your preferred end-of-line style here.


Funktionsleiste