3750 search results - page 32 / 750 » Timed Automata Patterns |
193
click to vote
CONCUR
1999
Springer
15 years 10 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...
120
Voted
ACAL
2007
Springer
16 years 3 days ago
2007
Springer
126
Voted
DMCCG
2001
Springer
15 years 10 months ago
2001
Springer
89
Voted
CPHYSICS
2010
15 years 6 months ago
2010
