APA Citation

Lê, H. A., & Phạm, B. S. (2016). Methods for modeling and verifying event-driven systems.

Chicago Style Citation

Lê, Hồng Anh, and Bảo Sơn Phạm. Methods for Modeling and Verifying Event-driven Systems. 2016.

MLA Citation

Lê, Hồng Anh, and Bảo Sơn Phạm. Methods for Modeling and Verifying Event-driven Systems. 2016.

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