A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
2011 ◽
pp. 406-421
Keyword(s):
Keyword(s):
Keyword(s):
2009 ◽
pp. 398-413
◽
Keyword(s):