Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Bisimulations and Logical Characterizations on Continuous-time Markov Decision Processes

Song, L., Zhang, L., & Godskesen, J. C. (2014). Bisimulations and Logical Characterizations on Continuous-time Markov Decision Processes. In K. L. McMillan, & X. Rival (Eds.), Verification, Model Checking, and Abstract Interpretation (pp. 98-117). Berlin: Springer. doi:10.1007/978-3-642-54013-4_6.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0027-9CDE-0 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0027-9CDF-E
Genre: Konferenzbeitrag
Latex : Bisimulations and Logical Characterizations on Continuous-time {Markov} Decision Processes

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Song, Lei1, Autor           
Zhang, Lijun2, Autor
Godskesen, Jens Chr.2, Autor
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2External Organizations, ou_persistent22              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20142014
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: LeiVMCAI2014
DOI: 10.1007/978-3-642-54013-4_6
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 15th International Conference on Verification, Model Checking, and Abstract Interpretation
Veranstaltungsort: San Diego, CA, USA
Start-/Enddatum: 2014-01-19 - 2014-01-21

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Verification, Model Checking, and Abstract Interpretation
  Untertitel : 15th International Conference, VMCAI 2014 ; San Diego, CA, USA, January 19-21, 2014 ; Proceedings
  Kurztitel : VMCAI 2014
Genre der Quelle: Konferenzband
 Urheber:
McMillan, Kenneth L.1, Herausgeber
Rival, Xavier1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Berlin : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 98 - 117 Identifikator: ISBN: 978-3-642-54012-7

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in computer Science
  Kurztitel : LNCS
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 8318 Artikelnummer: - Start- / Endseite: - Identifikator: -