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