Sortiert nach
Formal Modeling and Analysis of Timed Systems, 2006, p.187-199
2006
Link zum Volltext
Evolving OpenMP for Evolving Architectures, p.37-52
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.147-168
Link zum Volltext
Language, Culture, Computation. Computing - Theory and Technology, p.50-77
Link zum Volltext
Automata, Languages and Programming, 2005, p.499-508
2005
Link zum Volltext
Automata, Languages and Programming, p.188-199
Link zum Volltext
Automata, Languages, and Programming, p.13-25
Link zum Volltext
Lecture notes in computer science, 2006, p.301-312
2006
Link zum Volltext
Application and Theory of Petri Nets and Concurrency, p.429-448
Link zum Volltext
Lecture notes in computer science, 2005, p.129-138
2005
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, 2022, Vol.13273, p.50-66
2022
Link zum Volltext
Discrete Mathematics and Theoretical Computer Science, 2003, p.155-167
2003
Link zum Volltext
OpenMP: Heterogenous Execution and Data Movements, 2015, Vol.9342, p.260-272
2015
Link zum Volltext
Language and Automata Theory and Applications, p.303-314
Link zum Volltext
Reachability Problems, 2016, Vol.9899, p.1-22
2016
Link zum Volltext
Mathematical Foundations of Computer Science 2013, p.409-420
Link zum Volltext
Lecture notes in computer science, 2004, p.182-197
2004
Link zum Volltext
Computer Aided Verification, 2004, p.361-371
2004
Link zum Volltext
Computer Aided Verification, 2001, p.53-65
2001
Link zum Volltext
STACS 84, 2005, p.151-162
2005
Link zum Volltext
LATIN 2002: Theoretical Informatics, 2002, p.400-414
2002
Link zum Volltext
Advances in Petri Nets 1988, 2005, p.106-132
2005
Link zum Volltext
Computer Aided Verification, 2001, p.66-78
2001
Link zum Volltext
Classical and Quantum Physics, 2019, Vol.229, p.187-201
2019
Link zum Volltext
Computer Aided Verification, 2001, p.260-264
2001
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Computer Science, Artificial Intelligence
- Computer Science, Information Systems
- Chapter
- Software
- Model Check
- Life Sciences & Biomedicine
- Software Engineering
- Humans
- Theoretical Computing
- Mathematics
- Physical Sciences
- Reachability Problem
Kollektion
Neu hinzugefügt