Suprapto, S., & Pulungan, R. (2011). A Framework for An LTS Semantics for PROMELA.
استشهاد بنمط شيكاغوSuprapto, Suprapto, و Reza Pulungan. A Framework for An LTS Semantics for PROMELA. 2011.
MLA استشهادSuprapto, Suprapto, و Reza Pulungan. A Framework for An LTS Semantics for PROMELA. 2011.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.