Specification and Verification of Declarative Open Interaction Models

MLA

Montali, Marco, John Mylopoulos, and Norman M Sadeh. Specification and Verification of Declarative Open Interaction Models. Springer Berlin Heidelberg, 2010.

APA

Montali, M., Mylopoulos, J., & Sadeh, N. M. (2010). Specification and Verification of Declarative Open Interaction Models. Springer Berlin Heidelberg.

Chicago

Montali, Marco, John Mylopoulos, and Norman M Sadeh. Specification and Verification of Declarative Open Interaction Models. : Springer Berlin Heidelberg, 2010.