Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Christel Baier
Abschlussarbeiten anzeigen 0  +
Akademischer Titel Prof. Dr.  +
Alternative URI https://wwwtcs.inf.tu-dresden.de/~baier/  +
Bild Small-CB.jpg  +
DBLP http://dblp.uni-trier.de/pers/hd/b/Baier:Christel  +
Ehemaliger 0  +
Forschungsgruppe Verifikation und formale quantitative Analyse +
Forschungsgruppe EN Verification and formal quantitative Analysis +
Gebäude APB  +
Google Scholar https://scholar.google.de/citations?user=p8sX7r0AAAAJ  +
Image Datei:Small-CB.jpg +
Nachname Baier  +
Name Christel Baier  +
Publikationen anzeigen 0  +
Raum APB 3006 +
Stellung Professor  +
Telefax +49 351 463 38348  +
Telefon +49 351 463 38548  +
Vorname Christel  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Christel Baier + , Christel Baier + , Christel Baier + , Christel Baier +
Kategorien Mitarbeiter
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
28 Februar 2017 13:21:07  +
E-Mail
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
christel.baier@tu-dresden.de  +
verstecke Attribute die hierhin verlinken 
Book3004 + , Book3009 + Author
Verifikation und formale quantitative Analyse + Forschungsgruppenleiter
Advanced Logics (WS2018) + , Lab Course "Modeling and Automated Verification" (SS2018) + , Project Group "Model Checking" (SS2018) + , Seminar "Selected Topics in Logic and Verification" (SS2018) + Lecturer
CRC 248 + , EMCL + , ICCL-SS-2015 + Person
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.