3750 search results - page 32 / 750 » Timed Automata Patterns |
145
Voted
CONCUR
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
90
Voted
ACAL
2007
Springer
15 years 8 months ago
2007
Springer
DMCCG
2001
Springer
15 years 6 months ago
2001
Springer
85
Voted
CPM
2008
Springer
15 years 4 months ago
2008
Springer
59
Voted
CPHYSICS
2010
15 years 2 months ago
2010
