Frank Ciesinski und Martin Leucker - Info zur Person

(1 - 7 von 7

)

Exploring New Frontiers of Theoretical Informatics: IFIP 18th World...

books.google.de

... be given internally or externally. Controller Synthesis for Probabilistic Systems Christel Baier, Marcus Groesser, Martin Leucker, Bene…t Bollig, Frank Ciesinski.

Validation of Stochastic Systems: A Guide to Current ...books.google.hn › books › about

books.google.hn

Model Checking of Stochastic Systems Bene…t Bollig Martin Leucker Frank Ciesinski Marcus Größer Representing Large State Spaces

Exploring New Frontiers of Theoretical Informatics, IFIP 18th World...

researchr.org

; Controller Synthesis for Probabilistic SystemsChristel Baier, Marcus Größer, Martin Leucker, Bene…t Bollig, Frank Ciesinski ; Highly ...

HTML - Electronic Proceedings in Theoretical Computer Scienceeptcs.web.cse.unsw.edu.au › refere...

cgi.cse.unsw.edu.au

Christel Baier, Marcus Größer, Martin Leucker, Bene…t Bollig & Frank Ciesinski (2004): Controller Synthesis for Probabilistic Systems. In: Exploring New ...

IFIP TCS 2004

vldbarc.org

Christel Baier, Marcus Größer, Martin Leucker, Bene…t Bollig, Frank Ciesinski: Controller Synthesis for Probabilistic Systems CiteSeerX · Google ...

Division of Computer Systems: Publications from Department of...

www.it.uu.se

Christel Baier, Marcus Grösser, Martin Leucker, Bene…t Bollig, and Frank Ciesinski. In IFIP TCS 2004: Exploring New Frontiers of Theoretical Informatics, IFIP ...

Publikationer Institutionen för informationsteknologi -...

www.it.uu.se

Christel Baier, Marcus Grösser, Martin Leucker, Bene…t Bollig och Frank Ciesinski. I IFIP TCS 2004: Exploring New Frontiers of Theoretical Informatics, IFIP 18th World

Alle Infos zum Namen "Frank Ciesinski"

Verwandte Suchanfragen zu Frank Ciesinski

Marcus Groesser
Christel Baier
Benedikt Bollig

Martin Leucker
Joachim Klein
Manuela Ciesinski

Magdalena Reichel
Lena Gierl

Personen
Vorname "Frank" (79403)
Name "Ciesinski" (40)

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

Frank Ciesinski und Martin Leucker Person-Info