Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
4
Computation theory
4
Computer architecture
4
Computer software
4
Distributed computer systems
4
Distributed timed model-checker
4
Graph theory
4
Mathematical models
4
Matrix algebra
Model-checking
Problem solving
4
Program processors
4
Real time systems
4
Set theory
Time-consuming tasks
4
Timed automata
4
-
1
-
2Artículo publishedVersion
-
3Artículo publishedVersion
-
4