Karin Quaas und Conference - Info zur Person

(1 - 9 von 10

)

Developments in Language Theory: 13th International Conference, DLT...

books.google.de

, Proceedings Volker Diekert, Dirk Nowotka. Weighted Timed MSO Logics Karin Quaas Institut für Informatik, Universität Leipzig Leipzig, Germany ...

CONCUR – Concurrency Theory: 25th International Conference,...

books.google.de

This book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in September

Formal Modeling and Analysis of Timed Systems: 9th International...

books.google.de

This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in...

Implementation and Application of Automata: 16th International...

books.google.de

This book constitutes the thoroughly refereed papers of the 16th International Conference on Implementation and Application of Automata, CIAA 2011, held in...

Model Checking Metric Temporal Logic over SpringerLinklink.springer.com › chapter

link.springer.com

Karin Quaas. Karin Quaas Institut für InformatikUniversität LeipzigLeipzigGermany. Conference paper. 3 Citations · 1 Readers · 848 Downloads. Part of the ...

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 ...

Formats – 14th International Conference on Formal Modelling and...

projects.lsv.fr

... David Parker (U. Birmingham, UK); Karin Quaas (U. Leipzig, Germany); Stefan Ratschan (CAS, Czech Republic); César Sánchez (IMDEA Software Inst., Spain) ...

5th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND...

www.aclweb.org

Karin Quaas: On the Interval-Bound Problem for Weighted Timed Automata. Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Decision Problems

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