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 / 電機工程學系
TCTL Inevitability Analysis of Dense-Time Systems
Details
TCTL Inevitability Analysis of Dense-Time Systems
Journal
8th International Conference on Implementation and Application of Automata (CIAA 2003)
Pages
176-187
Date Issued
2003-07
Author(s)
F. Wang
G.-D. Hwang
F. Yu
FARN WANG
DOI
10.1007/3-540-45089-0_17
URI
http://scholars.lib.ntu.edu.tw/handle/123456789/304231
SDGs
[SDGs]SDG16
Type
conference paper
