Formal Techniques for Computer Systems and Business Processes

MLA

Bravetti, Mario, et al. Formal Techniques for Computer Systems and Business Processes. Springer Berlin / Heidelberg, 2005.

APA

Bravetti, M., Kanade, T., Kloul, L., & Zavattaro, G. (2005). Formal Techniques for Computer Systems and Business Processes. Springer Berlin / Heidelberg.

Chicago

Bravetti, Mario, Takeo Kanade, Leïla Kloul, and Gianluigi Zavattaro. Formal Techniques for Computer Systems and Business Processes. : Springer Berlin / Heidelberg, 2005.