https://scholars.lib.ntu.edu.tw/handle/123456789/294454
Title: | RED: Model-Checker for Timed Automata with Clock-Restriction Diagram | Authors: | FARN WANG | Issue Date: | Aug-2001 | Source: | Workshop on Real-Time Tools | Description: | Denmark |
URI: | http://scholars.lib.ntu.edu.tw/handle/123456789/294454 |
Appears in Collections: | 電機工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.