APA (7th ed.) Citation

Courtiat, J. P., Saïdouni, D. E., Hogrefe, D., & Leue, S. (1995). Relating Maximality-based Semantics to Action Refinement in Process Algebras. Formal Description Techniques VII : Proceedings of the 7th IFIP WG 6.1 international conference on formal description techniques, 293. https://doi.org/10.1007/978-0-387-34878-0_24

Chicago Style (17th ed.) Citation

Courtiat, J. P., D. E. Saïdouni, Dieter Hogrefe, and Stefan Leue. "Relating Maximality-based Semantics to Action Refinement in Process Algebras." Formal Description Techniques VII : Proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques 1995: 293. https://doi.org/10.1007/978-0-387-34878-0_24.

MLA (9th ed.) Citation

Courtiat, J. P., et al. "Relating Maximality-based Semantics to Action Refinement in Process Algebras." Formal Description Techniques VII : Proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques, 1995, p. 293, https://doi.org/10.1007/978-0-387-34878-0_24.