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 in the Propositional Mu-Calculus
Details
Model Checking in the Propositional Mu-Calculus
Date Issued
1986
Date
1986
Author(s)
Emerson, E. A.
Lei, C. L.
URI
http://ntur.lib.ntu.edu.tw//handle/246246/153935
Publisher
University of Texas at Austin, Dept. of Computer Sciences:
Type
report
