A petri net reduction algorithm for protocol analysis.
| Autor: | Ramamoorthy, C V, Yaw, Y |
|---|---|
| Zdroj: | Proceedings of the ACM SIGCOMM Conference: Communications Architectures & Protocols; 9/30/1986, p157-166, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Ramamoorthy, C V, Yaw, Y |
|---|---|
| Zdroj: | Proceedings of the ACM SIGCOMM Conference: Communications Architectures & Protocols; 9/30/1986, p157-166, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|