Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules.
Saved in:
| Title: | Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules. |
|---|---|
| Authors: | Juan, Eric Y. T., Tsai, Jeffrey J. P. |
| Source: | ACM Transactions on Programming Languages & Systems. Sep98, Vol. 20 Issue 5, p917. 63p. 29 Diagrams, 2 Charts. |
| Database: | Business Source Ultimate |
| ISSN: | 01640925 |
|---|---|
| DOI: | 10.1145/293677.293681 |
