Sortiert nach
Proceedings of the 31st Annual ACM/IEEE Symposium on logic in computer science, 2016, p.857-866
2016
Link zum Volltext
Developments in Language Theory, 2018, Vol.11088, p.96-108
2018
Link zum Volltext
Foundations of Software Science and Computation Structures, p.215-230
Link zum Volltext
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013, p.468-477
2013
- Link zum Volltext
Foundations of Software Science and Computation Structures, p.162-178
Link zum Volltext
LATIN 2006: Theoretical Informatics, 2006, p.238-249
2006
Link zum Volltext
Reachability Problems, 2019, Vol.11674, p.164-177
2019
Link zum Volltext
Reachability Problems, 2017, Vol.10506, p.75-86
2017
Link zum Volltext
Automata, Languages, and Programming, p.209-221
Link zum Volltext
Applications and Theory of Petri Nets, p.69-88
Link zum Volltext
Foundations of Software Science and Computational Structures, p.229-244
Link zum Volltext
RAIRO. Informatique théorique et applications, 2013-01, Vol.47 (1), p.69-96
2013
Link zum Volltext
Hybrid Systems: Computation and Control, p.90-104
Link zum Volltext
Foundations of Software Science and Computational Structures, p.157-171
Link zum Volltext
CONCUR 2009 - Concurrency Theory, p.557-571
Link zum Volltext
Developments in Language Theory, 2016, Vol.9840, p.125-137
2016
Link zum Volltext
Automated Technology for Verification and Analysis, 2006, p.292-306
2006
Link zum Volltext
Developments in Language Theory, p.226-238
Link zum Volltext
Automated Technology for Verification and Analysis, p.198-212
Link zum Volltext
CONCUR 2014 – Concurrency Theory, p.203-217
Link zum Volltext
Mathematical Foundations of Computer Science 2010, p.355-367
Link zum Volltext
Automata, Languages and Programming, 2006, p.420-431
2006
Link zum Volltext
Formal Modeling and Analysis of Timed Systems, 2005, p.112-126
2005
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Formal Languages And Automata Theory
- Logic In Computer Science
- Automata
- Logic
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Mathematics
- Physical Sciences
- Science & Technology - Other Topics
- Theoretical Computing
- Time Automaton
- Tree Automaton
- Automata. Abstract Machines. Turing Machines
- Controller Synthesis
Kollektion
Zeitschrift / Serie