A polynomial-time algorithm to decide liveness of bounded free choice nets

TitleA polynomial-time algorithm to decide liveness of bounded free choice nets
Publication TypeConference Paper
Year of Publication1990
AuthorsEsparza, J, Silva M
Export