A polynomial-time algorithm to decide liveness of bounded free choice nets
| Title | A polynomial-time algorithm to decide liveness of bounded free choice nets |
| Publication Type | Journal Article |
| Year of Publication | 1992 |
| Authors | Esparza, J, Silva M |
| Journal | Theoretical Computer Science |
| Pagination | 185-205 |
| Export |
