Skip to main content
English
中文
Log In
Email address
Password
Log in
Log in with ORCID
NTU Single Sign On
New user? Click here to register.
Have you forgotten your password?
Communities & Collections
Research Outputs
Fundings & Projects
People
Organizations
Statistics
Home
College of Electrical Engineering and Computer Science / 電機資訊學院
Electrical Engineering / 電機工程學系
Efficient model-checking of dense-time systems with time-convexity analysis
Details
Export
Statistics
Options
Show all metadata (technical view)
Efficient model-checking of dense-time systems with time-convexity analysis
Journal
Theoretical Computer Science
Journal Volume
467
Pages
89-108
Date Issued
2013
Author(s)
FARN WANG
DOI
10.1016/j.tcs.2012.09.019
URI
https://scholars.lib.ntu.edu.tw/handle/123456789/497146
Type
journal article
