Frank Ciesinski und Computer - Info zur Person

(1 - 9 von 14

)

FSTTCS 2006: Foundations of Software Technology and Theoretical...

books.google.de

This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology and Theoretical Computer Science,...

Computer Aided Verification: 22nd International Conference, CAV

books.google.de

This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July...

Computer Aided Verification: 21st International Conference, CAV

books.google.de

... Hana Chockler Ching-Tsun Chou Frank Ciesinski Ariel Cohen Christopher Conway Scott Cotton Pepijn Crouzen Vijay D'Silva Dennis Dams Thao Dang Aldric ...

dblp: Frank Ciesinski

dblp.uni-trier.de

List of computer science publications by Frank Ciesinski

TUD - Chair of Algebraic and Logical Foundations of Computer Science...

www.inf.tu-dresden.de

Dr. Frank Ciesinski Frank Ciesinski was working as researcher for the Chair of Algebraic and Logical Foundations of Computer Science untill End of December, Last modified: 8th Feb 2012, PM Author: Dr.-Ing. Frank Ciesinski.

dblp: Christel Baier

dblp.org

List of computer science publications by Christel Baier

TUD - Chair of Algebraic and Logical Foundations of Computer Science...

www.inf.tu-dresden.de

Former staff

Generating Compact MTBDD-Representations from Probmela Specifications...

link.springer.com

Frank Ciesinski (1); Christel Baier (1); Marcus Größer (1); David Parker (2). Author Affiliations. 1. Institute for Theoretical Computer Science, Technical University ...

automata.tools

Frank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein Reduction techniques for model checking Markov decision processes Proceedings of the 5th International Conference on Quantitative Evaluation of SysTems (QEST'08), pp , IEEE Computer Society Press, Link. Joachim Klein, Christel Baier

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 Computer Person-Info