|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"emerson e allen"
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
|
