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 / 電機工程學系
On the Complexity of Deciding fair Termination of Probabilistic Concurrent Finite-State Programs.
Details
On the Complexity of Deciding fair Termination of Probabilistic Concurrent Finite-State Programs.
Journal
Theor. Comput. Sci.
Journal Volume
58
Pages
263-324
Date Issued
1988
Author(s)
Rosier, Louis E.
HSU-CHUN YEN
DOI
10.1016/0304-3975(88)90031-X
URI
https://scholars.lib.ntu.edu.tw/handle/123456789/502454
URL
https://doi.org/10.1016/0304-3975(88)90031-X
Type
journal article
