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 / 電機工程學系
Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations
Details
Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations
Journal
7'th ICFEM (International Conference on Formal Engineering Methods)
Pages
300-314
Date Issued
2005-11
Author(s)
FARN WANG
DOI
10.1007/11576280_21
URI
http://scholars.lib.ntu.edu.tw/handle/123456789/317816
Type
conference paper
