![](/img/cover-not-exists.png)
Compositional verification of concurrent systems using Petri-net-based condensation rules
Juan, Eric Y. T., Tsai, Jeffrey J. P., Murata, TadaoVolume:
20
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/293677.293681
Date:
September, 1998
File:
PDF, 565 KB
english, 1998