|
|
???tair.name??? >
???browser.page.title.author???
|
"emerson e a"???jsp.browse.items-by-author.description???
Showing items 1-12 of 12 (1 Page(s) Totally)
1
View [10|25|50] records per page
| 臺大學術典藏 |
2018-06-29T12:48:05Z |
Formal Specificatioin of Asynchronous Distributed Real-Time Systems by APTL
|
Mok, A. K.; Emerson, E. A.; Wang, Farn; 王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn; Emerson, E. A. |
| 國立臺灣大學 |
1993-04 |
Symbolic Model-Checking for Distributed Real-Time Systems
|
王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn; Mok, A. K.; Emerson, E. A. |
| 臺大學術典藏 |
1993-04 |
Symbolic Model-Checking for Distributed Real-Time Systems
|
Mok, A. K.; Emerson, E. A.; Wang, Farn; 王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn |
| 國立臺灣大學 |
1992-05 |
Formal Specificatioin of Asynchronous Distributed Real-Time Systems by APTL
|
王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn; Mok, A. K.; Emerson, E. A. |
| 國立臺灣大學 |
1987 |
Modalities For Model Checking: Branching Time Strikes Back
|
Emerson, E. A.; Lei, C. L. |
| 國立臺灣大學 |
1986 |
Model Checking in the Propositional Mu-Calculus
|
Emerson, E. A.; Lei, C. L. |
| 國立臺灣大學 |
1986 |
Efficient Model Checking in Fragments of the Propositional Mu-Calculus
|
Emerson, E. A.; Lei, C. L. |
| 國立臺灣大學 |
1986 |
Temporal Reasoning under Generalized Fairness Constraints
|
Emerson, E. A.; Lei, C. L. |
| 國立臺灣大學 |
1985 |
Branching Time Logic Strikes Back
|
Emerson, E. A.; Lei, C. L. |
| 國立臺灣大學 |
1985 |
Modalities For Model Checking: Branching Time Strikes Back
|
Emerson, E. A.; Lei, C. L. |
| 國立臺灣大學 |
1985 |
Temporal Model Checking under Generalized Fairness Constraints
|
Emerson, E. A.; Lei, C. L. |
| 國立臺灣大學 |
1984 |
Model Checking under Generalized Fairness Constraintx
|
Emerson, E. A.; Lei, C. L. |
Showing items 1-12 of 12 (1 Page(s) Totally)
1
View [10|25|50] records per page
|
