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 | Conference Paper |
Year of Publication | 1990 |
Authors | Esparza, J, Silva M |
Export |