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 / 電機工程學系
Model Checking under Generalized Fairness Constraintx
Details
Model Checking under Generalized Fairness Constraintx
Date Issued
1984
Date
1984
Author(s)
Emerson, E. A.
Lei, C. L.
URI
http://ntur.lib.ntu.edu.tw//handle/246246/153933
Publisher
University of Texas at Austin, Dept. of Computer Sciences:
Type
report
