|
"howell rodney r"的相关文件
显示项目 1-10 / 10 (共1页)
1
每页显示[10|25|50]项目
| 臺大學術典藏 |
2020-06-16T06:40:01Z |
Some Complexity Bounds for Problems Concerning Finite and 2-Dimensional Vector Addition Systems with States.
|
Howell, Rodney R.;Rosier, Louis E.;Huynh, Dung T.;Yen, Hsu-Chun; Howell, Rodney R.; Rosier, Louis E.; Huynh, Dung T.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:40:01Z |
An O(n^(1.5)) Algorithm to Decide Boundedness for Conflict-Free Vector Replacement Systems.
|
Howell, Rodney R.;Rosier, Louis E.;Yen, Hsu-Chun; Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:59Z |
A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.
|
Howell, Rodney R.;Rosier, Louis E.;Yen, Hsu-Chun; Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:56Z |
Normal and Sinkless Petri Nets.
|
Howell, Rodney R.;Rosier, Louis E.;Yen, Hsu-Chun; Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 國立臺灣大學 |
1993 |
Normal and sinkless petri nets
|
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun |
| 臺大學術典藏 |
1993 |
Normal and sinkless petri nets
|
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun; Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun |
| 國立臺灣大學 |
1991 |
Global and local views of state fairness
|
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun |
| 國立臺灣大學 |
1991 |
A taxonomy of fairness and temporal logic problems for Petri nets
|
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun |
| 臺大學術典藏 |
1991 |
Global and local views of state fairness
|
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun; Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun |
| 臺大學術典藏 |
1991 |
A taxonomy of fairness and temporal logic problems for Petri nets
|
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun; Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun |
显示项目 1-10 / 10 (共1页)
1
每页显示[10|25|50]项目
|
