Compositional synthesis of live and bounded free-choice nets

TitleCompositional synthesis of live and bounded free-choice nets
Publication TypeBook
Year of Publication1991
AuthorsEsparza, J, Silva M
PublisherSpringer-Verlag
Export