|
Taiwan Academic Institutional Repository >
Browse by Author
|
"howell rodney r"
Showing items 1-10 of 10 (1 Page(s) Totally) 1 View [10|25|50] records per page
臺大學術典藏 |
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 |
Showing items 1-10 of 10 (1 Page(s) Totally) 1 View [10|25|50] records per page
|