APA引文

Suprapto, S., & Pulungan, R. (2011). A Framework for An LTS Semantics for PROMELA.

Chicago Style Citation

Suprapto, Suprapto, and Reza Pulungan. A Framework for An LTS Semantics for PROMELA. 2011.

MLA引文

Suprapto, Suprapto, and Reza Pulungan. A Framework for An LTS Semantics for PROMELA. 2011.

警告：這些引文格式不一定是100％准確.