Daniel Gebler - Wissenschaftliche Veröffentlichungen

(1 - 9 von 9

)

DBLPhttps://dblp.org › PersonsDaniel Gebler

dblp.org

— List of computer science publications by Daniel Gebler Daniel Gebler, Kim G. Larsen, Simone Tini : Compositional bisimulation metric ...

Journal of Logical and Algebraic Methods in Programming | “Special...

www.sciencedirect.com

“Special Issue on Open Problems in Concurrency Theory”. Edited by Marco Bernardo, Daniel Gebler, Michele Loreti. Volume 84, Issue 6, ...

dblp: Daniel Gebler

dblp.uni-trier.de

List of computer science publications by Daniel Gebler

The next year the combined EXPRESS/SOS workshop was co-located with CONCUR in Madrid, Spain and was co-chaired by Silvia Crafa and Daniel Gebler. The combined EXPRESS/SOS workshop was co-located with CONCUR in Québec City, Canada and was co-chaired by Daniel Gebler and Kirstin Peters.

Verwandte Suchanfragen zu Daniel Gebler

Pier Andrea Dusi
Julia Stöpfel
Aleardo Zaccheo

Sigrid Duschek

Person "Gebler" (2)
Vorname "Daniel" (84887)
Name "Gebler" (371)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen Daniel Gebler

DBLPhttps://dblp.org › PersonsDaniel Gebler

Journal of Logical and Algebraic Methods in Programming | “Special...

dblp: Daniel Gebler

CONCUR 2017

dblp: Kim G. Larsen

SOS-based Modal Decomposition on Nondeterministic HALhal.science

dblp: Simone Tini

dblp: BibTeX records: Daniel Gebler