Karin Quaas und Computer - Info zur Person

(1 - 7 von 8

)

Karin Quaas

de.slideshare.net

Metric Temporal Logic over Data Words Seminar Oxford Women in Computer Science Karin Quaas University of Leipzig

dblp: Karin Quaas

dblp.uni-trier.de

List of computer science publications by Karin Quaas

dblp: Daniel Kirsten

dblp.uni-trier.de

List of computer science publications by Daniel Kirsten

Weighted Timed MSO Logics | SpringerLinklink.springer.com › chapter

link.springer.com

Karin Quaas Institut für InformatikUniversität LeipzigLeipzigGermany. Conference paper. 5 Citations; 380 Downloads. Part of the Lecture Notes in Computer ...

Karin Quaas - EasyChaireasychair.org › LICS2017 › person168

easychair.org

LICS 2017: THIRTY-SECOND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE. PROGRAMINDEXES. Karin Quaas. Organization ...

Department of Computer Science, University of Oxford: Metric Temporal...

www.cs.ox.ac.uk

Metric Temporal Logic for Data Words

Department of Computer Science, University of Oxford: Timed Automata...

www.cs.ox.ac.uk

Timed Automata with Counters

Alle Infos zum Namen "Karin Quaas"

Verwandte Suchanfragen zu Karin Quaas

Arno Pauly
Manfred Droste
Joël Ouaknine

Benedikt Bollig
Aziz Abdulla
Dorit Classen

Stephan Hoffmann
Sabine Schulte
Christian Quaas

Person "Quaas" (3)
Vorname "Karin" (50302)
Name "Quaas" (429)

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

Karin Quaas und Computer Person-Info