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 / 電機工程學系
Real-Time Distributed System Specification and Verification in APTL
Details
Real-Time Distributed System Specification and Verification in APTL
Journal
ACM Transactions on Software Engineering and Methodology
Journal Volume
2
Journal Issue
4
Pages
346-378
Date Issued
1993-01
Author(s)
F. Wang
A.K. Mok
E.A. Emerson
FARN WANG
DOI
10.1145/158431.158434
URI
http://scholars.lib.ntu.edu.tw/handle/123456789/304224
SDGs
[SDGs]SDG16
Type
journal article
