Marcus Grösser - Dokumente zum Namen - alle Infos bei Yasni.de

(1 - 7 von 7

)

[ ] Stochastic Timed Automata

arxiv.org

... Baier (Technische Universit\"at Dresden), Marcus Groesser (Technische Universit\"at Dresden), Marcin Jurdzinski (University of Warwick).

LICS Preliminary Program ==================== Tue Jun ...www.cs.cmu.edu › lics08 › program

www.cs.cmu.edu

... Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye and Marcus Groesser :00- 4:30 Coffee Break :30- 6:00 Session 9: Proof Theory ...

EPTCS 28: Quantitative Aspects of Programming Languages

arxiv.org

Marcus Groesser (Technical University of Dresden, Germany) Mieke Massink (CNR-ISTI, Italy) Paulo Mateus (Instituto Superior Tecnico, Portugal)

txt

lics.siglog.org

Ludics nets, a model of concurrent interaction Christel Baier and Marcus Groesser. Recognizing omega-regular languages with probabilistic automata Iovka ...

Verwandte Suchanfragen zu Marcus Grösser

Christel Baier
Patrick Mulder

Personen
Vorname "Marcus" (24254)
Name "Grösser" (106)

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

Dokumente zum Namen Marcus Grösser

[ ] Stochastic Timed Automata

LICS Preliminary Program ==================== Tue Jun ...www.cs.cmu.edu › lics08 › program

EPTCS 28: Quantitative Aspects of Programming Languages

txt