Yamaguchi, H., Okano, K., Higashino, T., & Taniguchi, K. (1995). Synthesis of protocol entities specifications from service specifications in a Petri net model with registers. Proceedings of 15th International Conference on Distributed Computing Systems, 510-517. https://doi.org/10.1109/ICDCS.1995.500057
Chicago-Zitierstil (17. Ausg.)Yamaguchi, H., K. Okano, T. Higashino, und K. Taniguchi. "Synthesis of Protocol Entities Specifications from Service Specifications in a Petri Net Model with Registers." Proceedings of 15th International Conference on Distributed Computing Systems 1995: 510-517. https://doi.org/10.1109/ICDCS.1995.500057.
MLA-Zitierstil (9. Ausg.)Yamaguchi, H., et al. "Synthesis of Protocol Entities Specifications from Service Specifications in a Petri Net Model with Registers." Proceedings of 15th International Conference on Distributed Computing Systems, 1995, pp. 510-517, https://doi.org/10.1109/ICDCS.1995.500057.