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
Citace podle Chicago (17th ed.)Yamaguchi, H., K. Okano, T. Higashino, a 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.
Citace podle MLA (9th ed.)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.