Compositional synthesis of live and bounded free-choice nets
Title | Compositional synthesis of live and bounded free-choice nets |
Publication Type | Book |
Year of Publication | 1991 |
Authors | Esparza, J, Silva M |
Publisher | Springer-Verlag |
Export |
Title | Compositional synthesis of live and bounded free-choice nets |
Publication Type | Book |
Year of Publication | 1991 |
Authors | Esparza, J, Silva M |
Publisher | Springer-Verlag |
Export |