APA Citation

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 Citation

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

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