APA (7th ed.) Citation

BENTAHAR, J., MOULIN, B., & MEYER, J. C. (2006). A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. Lecture notes in computer science, 223-244.

Chicago Style (17th ed.) Citation

BENTAHAR, Jamal, Bernard MOULIN, and John-Jules Ch MEYER. "A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication." Lecture Notes in Computer Science 2006: 223-244.

MLA (9th ed.) Citation

BENTAHAR, Jamal, et al. "A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication." Lecture Notes in Computer Science, 2006, pp. 223-244.