Karin Quaas und Science - Info zur Person

(1 - 6 von 9

)

de.slideshare.net

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

dblp.uni-trier.de

List of computer science publications by Karin Quaas

dblp.uni-trier.de

List of computer science publications by Daniel Kirsten

easychair.org

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

www.cs.ox.ac.uk

Metric Temporal Logic for Data Words

www.cs.ox.ac.uk

Timed Automata with Counters

Verwandte Suchanfragen zu Karin Quaas

sortiert nach Relevanz / Datum

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