On the Translation of Timed Automata into First-order Logic

Lokale TagsFreigabegeschichteDetailsÜbersicht

On the Translation of Timed Automata into First-order Logic

Dimova, D. (2009). On the Translation of Timed Automata into First-order Logic. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is Freigegeben

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-1A64-A Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-ACD9-7

Genre: Hochschulschrift

ausblenden:

Urheber:
Dimova, Dilyana¹, Autor

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

ausblenden:

Sprache(n): eng - English

Datum: Angenommen: 2009Erschienen: 2009

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 521090
Anderer: Local-ID: C125716C0050FB51-EEB120213787E56EC125761E0046D1EF-Dimova09

Art des Abschluß: Master

Datensatz