|
???tair.name??? >
???browser.page.title.author???
|
"emerson e allen"???jsp.browse.items-by-author.description???
Showing items 1-8 of 8 (1 Page(s) Totally) 1 View [10|25|50] records per page
臺大學術典藏 |
2020-06-11T06:51:28Z |
Modalities for Model Checking: Branching Time Strikes Back.
|
Emerson, E. Allen;Lei, Chin-Laung; Emerson, E. Allen; Lei, Chin-Laung; CHIN-LAUNG LEI |
臺大學術典藏 |
2020-06-11T06:51:28Z |
Modalities for Model Checking: Branching Time Strikes Back.
|
Emerson, E. Allen;Lei, Chin-Laung; Emerson, E. Allen; Lei, Chin-Laung; CHIN-LAUNG LEI |
臺大學術典藏 |
2020-06-11T06:51:24Z |
Modalities for Model Checking: Branching Time Logic Strikes Back.
|
Emerson, E. Allen;Lei, Chin-Laung; Emerson, E. Allen; Lei, Chin-Laung; CHIN-LAUNG LEI |
臺大學術典藏 |
2020-06-11T06:51:24Z |
Modalities for Model Checking: Branching Time Logic Strikes Back.
|
Emerson, E. Allen;Lei, Chin-Laung; Emerson, E. Allen; Lei, Chin-Laung; CHIN-LAUNG LEI |
臺大學術典藏 |
2020-06-11T06:51:21Z |
Temporal Reasoning Under Generalized Fairness Constraints.
|
Emerson, E. Allen;Lei, Chin-Laung; Emerson, E. Allen; Lei, Chin-Laung; CHIN-LAUNG LEI |
臺大學術典藏 |
2020-06-11T06:51:21Z |
Temporal Reasoning Under Generalized Fairness Constraints.
|
Emerson, E. Allen;Lei, Chin-Laung; Emerson, E. Allen; Lei, Chin-Laung; CHIN-LAUNG LEI |
臺大學術典藏 |
2020-06-04T07:48:54Z |
Symbolic Model Checking for Distributed Real-Time Systems.
|
Wang, Farn;Mok, Aloysius K.;Emerson, E. Allen; Wang, Farn; Mok, Aloysius K.; Emerson, E. Allen; FARN WANG |
臺大學術典藏 |
2020-06-04T07:48:54Z |
Symbolic Model Checking for Distributed Real-Time Systems.
|
Wang, Farn;Mok, Aloysius K.;Emerson, E. Allen; Wang, Farn; Mok, Aloysius K.; Emerson, E. Allen; FARN WANG |
Showing items 1-8 of 8 (1 Page(s) Totally) 1 View [10|25|50] records per page
|