Symmetric Model-Checking of Concurrent Timed Automata with Clock-Restriction Diagram

FARN WANG2018-09-102018-09-102002-03http://scholars.lib.ntu.edu.tw/handle/123456789/299211Symmetric Model-Checking of Concurrent Timed Automata with Clock-Restriction Diagramconference paper