Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
Have you forgotten your password?
Home
College of Electrical Engineering and Computer Science / 電機資訊學院
Electrical Engineering / 電機工程學系
RED: Model-Checker for Timed Automata with Clock-Restriction Diagram
Details
RED: Model-Checker for Timed Automata with Clock-Restriction Diagram
Journal
Workshop on Real-Time Tools
Date Issued
2001-08
Author(s)
FARN WANG
URI
http://scholars.lib.ntu.edu.tw/handle/123456789/294454
Description
Denmark
Type
conference paper
