APA Citation

Manna, Z., & Pnueli, A. (1993). Models for reactivity. Acta informatica, 30(7), pp. 609-678. doi:10.1007/BF01191722

Chicago Style Citation

Manna, Zohar, and Amir Pnueli. "Models for Reactivity." Acta Informatica 30, no. 7 (1993): 609-678.

MLA Citation

Manna, Zohar, and Amir Pnueli. "Models for Reactivity." Acta Informatica 30.7 (1993): 609-678.

Warning: These citations may not always be 100% accurate.