Weiter zum Inhalt Weiter zur Fußzeile

EATCS Best Paper Award at ETAPS 2014

Auszeichnung: Preis › Publikations-/Konferenzpreis

Empfänger:innen

Datum der VerleihungApr. 2014
BekanntheitsgradInternational

Konferenz

TitelEuropean Joint Conferences on Theory and Practice of Software 2014
KurztitelETAPS 2014
Veranstaltungsnummer17
Dauer5 - 13 April 2014
Webseite
BekanntheitsgradInternationale Veranstaltung
OrtGrenoble World Trade Center
StadtGrenoble
LandFrankreich

Schlagworte

DFG-Fachsystematik nach Fachkollegium

Fächergruppen, Lehr- und Forschungsbereiche, Fachgebiete nach Destatis

Verknüpfte Inhalte

Computing Conditional Probabilities in Markovian Models Efficiently

Baier, C., Klein, J., Klüppelholz, S. & Märcker, S., 2014, Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Ábrahám, E. & Havelund, K. (Hrsg.). Springer, Berlin [u. a.], S. 515-530 16 S. (Lecture Notes in Computer Science, Volume 8413).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (1)