APA Citation

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

Chicago Style Citation

Suprapto, Suprapto. A Framework for An LTS Semantics for PROMELA. 2011.

MLA Citation

Suprapto, Suprapto. A Framework for An LTS Semantics for PROMELA. 2011.

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