49
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
31
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
58
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
48
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
29
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
33
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
71
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Recently, the problem of obtaining a short regular expression equivalent to a given finite automaton has been intensively investigated. Algorithms for converting finite automata to...
70
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
29
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
38
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer