APA (7th ed.) Citation

Dwyer, M., Robby, Tkachuk, O., & Visser, W. (2004). Analyzing interaction orderings with model checking. Automated Software Engineering: Proceedings of the 19th IEEE international conference on Automated software engineering; 20-24 Sept. 2004, 154-163. https://doi.org/10.1109/ASE.2004.1342733

Chicago Style (17th ed.) Citation

Dwyer, M.B, Robby, O. Tkachuk, and W. Visser. "Analyzing Interaction Orderings with Model Checking." Automated Software Engineering: Proceedings of the 19th IEEE International Conference on Automated Software Engineering; 20-24 Sept. 2004 2004: 154-163. https://doi.org/10.1109/ASE.2004.1342733.

MLA (9th ed.) Citation

Dwyer, M.B, et al. "Analyzing Interaction Orderings with Model Checking." Automated Software Engineering: Proceedings of the 19th IEEE International Conference on Automated Software Engineering; 20-24 Sept. 2004, 2004, pp. 154-163, https://doi.org/10.1109/ASE.2004.1342733.